FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1898808613> ?p ?o ?g. }

• W1898808613 endingPage "113" @default.
• W1898808613 startingPage "87" @default.
• W1898808613 abstract "We investigate semantics for an intuitionistic modal logic in which the “possibility” modality does not distribute over disjunction. In particular, the main aim of this paper is to study such intuitionistic modal logic as a variant of classical non-normal modal logic. We first give a neighborhood semantics together with a sound and complete axiomatization. Next, we study relationships between our approach and the relational (Kripke-style) semantics considered in the literature. It is shown that a relational model can be represented as a neighborhood model, and the converse direction holds under a slight restriction. Also, by considering degenerate cases of neighborhood and relational semantics, we demonstrate that a certain classical monotone modal logic has relational semantics, and can be embedded into a classical normal bimodal logic." @default.
• W1898808613 created "2016-06-24" @default.
• W1898808613 creator A5023893160 @default.
• W1898808613 date "2012-08-23" @default.
• W1898808613 modified "2023-09-24" @default.
• W1898808613 title "Relational and neighborhood semantics for intuitionistic modal logic" @default.
• W1898808613 cites W1539123436 @default.
• W1898808613 cites W1545118076 @default.
• W1898808613 cites W1596067335 @default.
• W1898808613 cites W1996474321 @default.
• W1898808613 cites W2009400517 @default.
• W1898808613 cites W2009762006 @default.
• W1898808613 cites W2013654056 @default.
• W1898808613 cites W2023132547 @default.
• W1898808613 cites W2033025891 @default.
• W1898808613 cites W2033236384 @default.
• W1898808613 cites W2067278394 @default.
• W1898808613 cites W2143326093 @default.
• W1898808613 cites W2332090212 @default.
• W1898808613 cites W2610670723 @default.
• W1898808613 doi "https://doi.org/10.4467/20842589rm.12.004.0685" @default.
• W1898808613 hasPublicationYear "2012" @default.
• W1898808613 type Work @default.
• W1898808613 sameAs 1898808613 @default.
• W1898808613 citedByCount "6" @default.
• W1898808613 countsByYear W18988086132012 @default.
• W1898808613 countsByYear W18988086132016 @default.
• W1898808613 countsByYear W18988086132017 @default.
• W1898808613 countsByYear W18988086132018 @default.
• W1898808613 countsByYear W18988086132020 @default.
• W1898808613 crossrefType "journal-article" @default.
• W1898808613 hasAuthorship W1898808613A5023893160 @default.
• W1898808613 hasConcept C102993220 @default.
• W1898808613 hasConcept C11191006 @default.
• W1898808613 hasConcept C114092440 @default.
• W1898808613 hasConcept C118615104 @default.
• W1898808613 hasConcept C136119220 @default.
• W1898808613 hasConcept C160131679 @default.
• W1898808613 hasConcept C178421362 @default.
• W1898808613 hasConcept C184337299 @default.
• W1898808613 hasConcept C185592680 @default.
• W1898808613 hasConcept C188027245 @default.
• W1898808613 hasConcept C199360897 @default.
• W1898808613 hasConcept C202444582 @default.
• W1898808613 hasConcept C203659156 @default.
• W1898808613 hasConcept C27508121 @default.
• W1898808613 hasConcept C28077239 @default.
• W1898808613 hasConcept C33203268 @default.
• W1898808613 hasConcept C33923547 @default.
• W1898808613 hasConcept C41008148 @default.
• W1898808613 hasConcept C71139939 @default.
• W1898808613 hasConcept C80444323 @default.
• W1898808613 hasConceptScore W1898808613C102993220 @default.
• W1898808613 hasConceptScore W1898808613C11191006 @default.
• W1898808613 hasConceptScore W1898808613C114092440 @default.
• W1898808613 hasConceptScore W1898808613C118615104 @default.
• W1898808613 hasConceptScore W1898808613C136119220 @default.
• W1898808613 hasConceptScore W1898808613C160131679 @default.
• W1898808613 hasConceptScore W1898808613C178421362 @default.
• W1898808613 hasConceptScore W1898808613C184337299 @default.
• W1898808613 hasConceptScore W1898808613C185592680 @default.
• W1898808613 hasConceptScore W1898808613C188027245 @default.
• W1898808613 hasConceptScore W1898808613C199360897 @default.
• W1898808613 hasConceptScore W1898808613C202444582 @default.
• W1898808613 hasConceptScore W1898808613C203659156 @default.
• W1898808613 hasConceptScore W1898808613C27508121 @default.
• W1898808613 hasConceptScore W1898808613C28077239 @default.
• W1898808613 hasConceptScore W1898808613C33203268 @default.
• W1898808613 hasConceptScore W1898808613C33923547 @default.
• W1898808613 hasConceptScore W1898808613C41008148 @default.
• W1898808613 hasConceptScore W1898808613C71139939 @default.
• W1898808613 hasConceptScore W1898808613C80444323 @default.
• W1898808613 hasIssue "47" @default.
• W1898808613 hasLocation W18988086131 @default.
• W1898808613 hasOpenAccess W1898808613 @default.
• W1898808613 hasPrimaryLocation W18988086131 @default.
• W1898808613 hasRelatedWork W1596067335 @default.
• W1898808613 hasRelatedWork W1606143631 @default.
• W1898808613 hasRelatedWork W2023132547 @default.
• W1898808613 hasRelatedWork W2033294720 @default.
• W1898808613 hasRelatedWork W2064146547 @default.
• W1898808613 hasRelatedWork W2067278394 @default.
• W1898808613 hasRelatedWork W2140910855 @default.
• W1898808613 hasRelatedWork W2152258109 @default.
• W1898808613 hasRelatedWork W2167342173 @default.
• W1898808613 hasRelatedWork W2353070670 @default.
• W1898808613 hasRelatedWork W2393619711 @default.
• W1898808613 hasRelatedWork W2483802892 @default.
• W1898808613 hasRelatedWork W2621224069 @default.
• W1898808613 hasRelatedWork W2768154882 @default.
• W1898808613 hasRelatedWork W2998043255 @default.
• W1898808613 hasRelatedWork W3004698271 @default.
• W1898808613 hasRelatedWork W3150160369 @default.
• W1898808613 hasRelatedWork W384366910 @default.
• W1898808613 hasRelatedWork W565088258 @default.
• W1898808613 hasRelatedWork W616844449 @default.
• W1898808613 hasVolume "47" @default.
• W1898808613 isParatext "false" @default.

• next