Possible worlds in use
DOI10.1007/S11225-011-9350-2zbMATH Open1248.03034OpenAlexW1984978344MaRDI QIDQ647416FDOQ647416
Authors: 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
Recommendations
survey papermodal logicrelational semanticsalgebraic logicpossible worldslogical matricesreferential semantics
Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)
Cites Work
- Modal logic
- The genesis of possible worlds semantics
- Algebraic methods in philosophical logic
- A completeness theorem in modal logic
- Algebraic semantics for modal logics I
- Semantic analysis of tense logics
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
- A survey of abstract algebraic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The algebra of topology
- First-order modal logic
- Modalities and Quantification
- Natural deduction, hybrid systems and modal logics
- Equivalential logics. I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Referential semantics: duality and applications
- Proof methods for modal and intuitionistic logics
- Title not available (Why is that?)
- Mathematical modal logic: A view of its evolution
- Deontic logic and possible worlds semantics: A historical sketch
- Title not available (Why is that?)
- A generalisation of the concept of a relational model for modal logic1
- Synonymy in sentential languages: A pragmatic view
- Title not available (Why is that?)
- Referentiality and matrix semantics
- R. Suszko's situational semantics
- A logic is referential iff it is selfextensional
- Two conjectures in the homology of local rings
- A formal theory of the logical values. I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Labelled tableau calculi for weak modal logics
- What is a formalized ontology today? An example of IIC
Cited In (4)
This page was built for publication: Possible worlds in use
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q647416)