Possible worlds in use

DOI10.1007/s11225-011-9350-2zbMath1248.03034MaRDI QIDQ647416

Andrzej Indrzejczak

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

zbMATH Keywords

modal logic; possible worlds; relational semantics; survey paper; algebraic logic; logical matrices; referential semantics

Mathematics Subject Classification ID

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 logic¹
• 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