Propositional quantification in bimodal S5

DOI10.1007/s10670-018-0035-3zbMath1475.03076OpenAlexW2994698876MaRDI QIDQ2055931

Peter Fritz

Publication date: 1 December 2021

Published in: Erkenntnis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10670-018-0035-3

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items

Logic talk ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A simple embedding of T into double S5
• On the logic of demonstratives
• Many-dimensional modal logics: theory and applications
• The expressive power of second-order propositional modal logic
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• A completeness theorem in modal logic
• Propositional quantifiers in modal logic1
• Products of modal logics, part 1
• Representability in second-order propositional poly-modal logic
• Possible Worlds
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• Modal Logic as Metaphysics
• On modal logic with propositional quantifiers
• Montague Type Semantics for Modal Logics with Propositional Quantifiers
• Two-dimensional modal logic