Possible worlds in use
From MaRDI portal
Publication:647416
DOI10.1007/s11225-011-9350-2zbMath1248.03034MaRDI QIDQ647416
Publication date: 23 November 2011
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-011-9350-2
modal logic; possible worlds; relational semantics; survey paper; algebraic logic; logical matrices; referential semantics
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
03G25: Other algebras related to logic
Cites Work
- Referentiality and matrix semantics
- Natural deduction, hybrid systems and modal logics
- Proof methods for modal and intuitionistic logics
- R. Suszko's situational semantics
- Synonymy in sentential languages: A pragmatic view
- Equivalential logics. I
- A survey of abstract algebraic logic
- Mathematical modal logic: A view of its evolution
- The genesis of possible worlds semantics
- A logic is referential iff it is selfextensional
- Two conjectures in the homology of local rings
- First-order modal logic
- A formal theory of the logical values. I
- Deontic logic and possible worlds semantics: A historical sketch
- The algebra of topology
- A completeness theorem in modal logic
- Algebraic semantics for modal logics I
- A generalisation of the concept of a relational model for modal logic1
- Semantic analysis of tense logics
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- Modalities and Quantification
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item