Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity

DOI10.1007/s11225-014-9577-9zbMath1371.03026arXiv1212.6576MaRDI QIDQ2350968

Steffen Lewitzka

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

zbMATH Keywords

modal logic; algebraic semantics; non-Fregean logic; propositional identity; hyperintensional semantics

Mathematics Subject Classification ID

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