Matches in SemOpenAlex for { <https://semopenalex.org/work/W1759871617> ?p ?o ?g. }
- W1759871617 endingPage "84" @default.
- W1759871617 startingPage "1" @default.
- W1759871617 abstract "This chapter discusses the semantic ideas underlying modern modal logic, and in particular, Kripke semantics—or relational semantics. It introduces the basic model theoretic constructions, explores links between modal logic and classical logic, both on models and on frames, and examines the extent to which the key semantic ideas transfer to richer modal logics and languages while maintaining a relatively low computational complexity. The basic modal languages and the graphs over which they are interpreted are discussed. The chapter also introduces the notion of bisimulation, based on which, modal logic as a fragment of first-order logic is characterized. The computability and computational complexity of modal logic is examined. The level of frames and the link between modal and classical logic are explored. Three alternatives to relational semantics––namely, algebraic semantics, neighborhood semantics, and topological semantics are also discussed." @default.
- W1759871617 created "2016-06-24" @default.
- W1759871617 creator A5044128824 @default.
- W1759871617 creator A5083214023 @default.
- W1759871617 date "2007-01-01" @default.
- W1759871617 modified "2023-10-13" @default.
- W1759871617 title "1 Modal logic: a semantic perspective" @default.
- W1759871617 cites W1483892218 @default.
- W1759871617 cites W1502739147 @default.
- W1759871617 cites W1522945997 @default.
- W1759871617 cites W1600958215 @default.
- W1759871617 cites W1601991083 @default.
- W1759871617 cites W1778829768 @default.
- W1759871617 cites W1965449504 @default.
- W1759871617 cites W1966911791 @default.
- W1759871617 cites W1969285530 @default.
- W1759871617 cites W1972560931 @default.
- W1759871617 cites W1976307763 @default.
- W1759871617 cites W1983453585 @default.
- W1759871617 cites W1991153667 @default.
- W1759871617 cites W1991981864 @default.
- W1759871617 cites W1992205482 @default.
- W1759871617 cites W1992702120 @default.
- W1759871617 cites W1994143452 @default.
- W1759871617 cites W2003342487 @default.
- W1759871617 cites W2004334891 @default.
- W1759871617 cites W2015640848 @default.
- W1759871617 cites W2018462672 @default.
- W1759871617 cites W2038216920 @default.
- W1759871617 cites W2046213250 @default.
- W1759871617 cites W2050527500 @default.
- W1759871617 cites W2055092188 @default.
- W1759871617 cites W2064114373 @default.
- W1759871617 cites W2064773636 @default.
- W1759871617 cites W2067202258 @default.
- W1759871617 cites W2068458083 @default.
- W1759871617 cites W2069709605 @default.
- W1759871617 cites W2071369407 @default.
- W1759871617 cites W2075277371 @default.
- W1759871617 cites W2081329681 @default.
- W1759871617 cites W2083398633 @default.
- W1759871617 cites W2088302563 @default.
- W1759871617 cites W2099251677 @default.
- W1759871617 cites W2112476716 @default.
- W1759871617 cites W2115136657 @default.
- W1759871617 cites W2116809109 @default.
- W1759871617 cites W2118313805 @default.
- W1759871617 cites W2124325155 @default.
- W1759871617 cites W2130098903 @default.
- W1759871617 cites W2136147947 @default.
- W1759871617 cites W2143434754 @default.
- W1759871617 cites W2144185328 @default.
- W1759871617 cites W2148868461 @default.
- W1759871617 cites W2149736013 @default.
- W1759871617 cites W2153417525 @default.
- W1759871617 cites W2155581733 @default.
- W1759871617 cites W2155599445 @default.
- W1759871617 cites W2159304001 @default.
- W1759871617 cites W2160796890 @default.
- W1759871617 cites W2161004731 @default.
- W1759871617 cites W2164389533 @default.
- W1759871617 cites W2165966638 @default.
- W1759871617 cites W2169433313 @default.
- W1759871617 cites W2315064349 @default.
- W1759871617 cites W2913966000 @default.
- W1759871617 cites W2987907651 @default.
- W1759871617 cites W4234216897 @default.
- W1759871617 cites W4301791419 @default.
- W1759871617 cites W83558678 @default.
- W1759871617 cites W957426456 @default.
- W1759871617 doi "https://doi.org/10.1016/s1570-2464(07)80004-8" @default.
- W1759871617 hasPublicationYear "2007" @default.
- W1759871617 type Work @default.
- W1759871617 sameAs 1759871617 @default.
- W1759871617 citedByCount "85" @default.
- W1759871617 countsByYear W17598716172012 @default.
- W1759871617 countsByYear W17598716172013 @default.
- W1759871617 countsByYear W17598716172014 @default.
- W1759871617 countsByYear W17598716172015 @default.
- W1759871617 countsByYear W17598716172016 @default.
- W1759871617 countsByYear W17598716172017 @default.
- W1759871617 countsByYear W17598716172018 @default.
- W1759871617 countsByYear W17598716172019 @default.
- W1759871617 countsByYear W17598716172020 @default.
- W1759871617 countsByYear W17598716172021 @default.
- W1759871617 countsByYear W17598716172022 @default.
- W1759871617 countsByYear W17598716172023 @default.
- W1759871617 crossrefType "book-chapter" @default.
- W1759871617 hasAuthorship W1759871617A5044128824 @default.
- W1759871617 hasAuthorship W1759871617A5083214023 @default.
- W1759871617 hasBestOaLocation W17598716172 @default.
- W1759871617 hasConcept C102993220 @default.
- W1759871617 hasConcept C11191006 @default.
- W1759871617 hasConcept C114092440 @default.
- W1759871617 hasConcept C11413529 @default.
- W1759871617 hasConcept C121332964 @default.
- W1759871617 hasConcept C135315306 @default.
- W1759871617 hasConcept C160131679 @default.