Matches in SemOpenAlex for { <https://semopenalex.org/work/W2127554421> ?p ?o ?g. }
- W2127554421 abstract "In Kripke semantics for modal logic, “possible worlds” and the possibility relation are both primitive notions. This has both technical and conceptual shortcomings. From a technical point of view, the mathematics associated with Kripke semantics is often quite complicated. From a conceptual point of view, it is not clear how to use Kripke structures to model knowledge and belief, where one wants a clearer understanding of the notions that are primitive in Kripke semantics. We introduce modal structures as models for modal logic. We use the idea of possible worlds, but by directly describing the “internal semantics” of each possible world. It is much easier to study the standard logical questions, such as completeness, decidability, and compactness, using modal structures. Furthermore, modal structures offer a much more intuitive approach to modelling knowledge and belief." @default.
- W2127554421 created "2016-06-24" @default.
- W2127554421 creator A5000059818 @default.
- W2127554421 creator A5027117465 @default.
- W2127554421 date "1985-01-01" @default.
- W2127554421 modified "2023-09-23" @default.
- W2127554421 title "An internal semantics for modal logic" @default.
- W2127554421 cites W1227957795 @default.
- W2127554421 cites W145304015 @default.
- W2127554421 cites W1481262989 @default.
- W2127554421 cites W1519329408 @default.
- W2127554421 cites W1540303936 @default.
- W2127554421 cites W1574129634 @default.
- W2127554421 cites W1875606851 @default.
- W2127554421 cites W1964845238 @default.
- W2127554421 cites W1967686058 @default.
- W2127554421 cites W1988837336 @default.
- W2127554421 cites W1988903622 @default.
- W2127554421 cites W1992205482 @default.
- W2127554421 cites W1992670332 @default.
- W2127554421 cites W1994581962 @default.
- W2127554421 cites W1997716585 @default.
- W2127554421 cites W2006242427 @default.
- W2127554421 cites W2009844825 @default.
- W2127554421 cites W2018409597 @default.
- W2127554421 cites W2019891739 @default.
- W2127554421 cites W2023808162 @default.
- W2127554421 cites W2035020702 @default.
- W2127554421 cites W2036639698 @default.
- W2127554421 cites W2040127143 @default.
- W2127554421 cites W2041295283 @default.
- W2127554421 cites W2041403185 @default.
- W2127554421 cites W2054554282 @default.
- W2127554421 cites W2065897462 @default.
- W2127554421 cites W2069709605 @default.
- W2127554421 cites W2073491323 @default.
- W2127554421 cites W2075277371 @default.
- W2127554421 cites W2080823411 @default.
- W2127554421 cites W2084684966 @default.
- W2127554421 cites W2088135982 @default.
- W2127554421 cites W2093270475 @default.
- W2127554421 cites W2135333419 @default.
- W2127554421 cites W2138162238 @default.
- W2127554421 cites W2149747391 @default.
- W2127554421 cites W2155581733 @default.
- W2127554421 cites W2162583406 @default.
- W2127554421 cites W2798598542 @default.
- W2127554421 cites W604004934 @default.
- W2127554421 cites W69348146 @default.
- W2127554421 doi "https://doi.org/10.1145/22145.22179" @default.
- W2127554421 hasPublicationYear "1985" @default.
- W2127554421 type Work @default.
- W2127554421 sameAs 2127554421 @default.
- W2127554421 citedByCount "16" @default.
- W2127554421 countsByYear W21275544212014 @default.
- W2127554421 crossrefType "proceedings-article" @default.
- W2127554421 hasAuthorship W2127554421A5000059818 @default.
- W2127554421 hasAuthorship W2127554421A5027117465 @default.
- W2127554421 hasConcept C102993220 @default.
- W2127554421 hasConcept C107247716 @default.
- W2127554421 hasConcept C111472728 @default.
- W2127554421 hasConcept C11191006 @default.
- W2127554421 hasConcept C114092440 @default.
- W2127554421 hasConcept C134752490 @default.
- W2127554421 hasConcept C136172866 @default.
- W2127554421 hasConcept C138885662 @default.
- W2127554421 hasConcept C153269930 @default.
- W2127554421 hasConcept C154945302 @default.
- W2127554421 hasConcept C160131679 @default.
- W2127554421 hasConcept C161913894 @default.
- W2127554421 hasConcept C184337299 @default.
- W2127554421 hasConcept C185592680 @default.
- W2127554421 hasConcept C188027245 @default.
- W2127554421 hasConcept C192609573 @default.
- W2127554421 hasConcept C199360897 @default.
- W2127554421 hasConcept C203659156 @default.
- W2127554421 hasConcept C25016198 @default.
- W2127554421 hasConcept C27508121 @default.
- W2127554421 hasConcept C41008148 @default.
- W2127554421 hasConcept C71139939 @default.
- W2127554421 hasConcept C78344899 @default.
- W2127554421 hasConcept C80444323 @default.
- W2127554421 hasConceptScore W2127554421C102993220 @default.
- W2127554421 hasConceptScore W2127554421C107247716 @default.
- W2127554421 hasConceptScore W2127554421C111472728 @default.
- W2127554421 hasConceptScore W2127554421C11191006 @default.
- W2127554421 hasConceptScore W2127554421C114092440 @default.
- W2127554421 hasConceptScore W2127554421C134752490 @default.
- W2127554421 hasConceptScore W2127554421C136172866 @default.
- W2127554421 hasConceptScore W2127554421C138885662 @default.
- W2127554421 hasConceptScore W2127554421C153269930 @default.
- W2127554421 hasConceptScore W2127554421C154945302 @default.
- W2127554421 hasConceptScore W2127554421C160131679 @default.
- W2127554421 hasConceptScore W2127554421C161913894 @default.
- W2127554421 hasConceptScore W2127554421C184337299 @default.
- W2127554421 hasConceptScore W2127554421C185592680 @default.
- W2127554421 hasConceptScore W2127554421C188027245 @default.
- W2127554421 hasConceptScore W2127554421C192609573 @default.
- W2127554421 hasConceptScore W2127554421C199360897 @default.
- W2127554421 hasConceptScore W2127554421C203659156 @default.