Propositional quantification in bimodal S5
From MaRDI portal
Publication:2055931
DOI10.1007/s10670-018-0035-3zbMath1475.03076OpenAlexW2994698876MaRDI QIDQ2055931
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
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
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