Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
From MaRDI portal
Publication:2350968
DOI10.1007/s11225-014-9577-9zbMath1371.03026arXiv1212.6576MaRDI QIDQ2350968
Publication date: 26 June 2015
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1212.6576
modal logic; algebraic semantics; non-Fregean logic; propositional identity; hyperintensional semantics
03B45: Modal logic (including the logic of norms)
Related Items
Some remarks on semantics and expressiveness of the sentential calculus with identity, Reasoning about proof and knowledge, Tableau-based decision procedure for non-Fregean logic of sentential identity
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- \(\in_K\): a non-Fregean logic of explicit knowledge
- \(\in_I\): an intuitionistic logic without Fregean axiom and with predicates for truth and falsity
- R. Suszko's situational semantics
- Eine Termlogik mit Auswahloperator
- Investigations into the sentential calculus with identity
- Ontology in the Tractatus of L. Wittgenstein
- Semantics for the sentential calculus with identity
- A completeness theorem for theories of kind W
- Identity connective and modality
- Propositional quantifiers in modal logic1
- Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate
- Hyperintensions
- On modal logic with propositional quantifiers