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

DOI10.1215/00294527-2019-0001OpenAlexW2593187777WikidataQ127901274 ScholiaQ127901274MaRDI QIDQ2319895

Wesley H. Holliday

Publication date: 20 August 2019

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1557388819

zbMATH Keywords

modal logicalgebraic semanticspropositional quantifiersmonadic algebrasmacneille completion

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic with extra quantifiers and operators (03C80) Temporal logic (03B44) Logical aspects of Boolean algebras (03G05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Logic talk ⋮ On the logic of belief and propositional quantification ⋮ Propositional quantification in bimodal S5

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Second-order propositional modal logic and monadic alternation hierarchies
• An algebraic approach to canonical formulas: modal case
• Kripke completeness of infinitary predicate multimodal logics
• The intuitionistic propositional calculus with quantifiers
• Non-axiomatizable second order intuitionistic propositional logic
• Propositional quantification in the topological semantics for \(\mathbf S4\)
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
• The expressive power of second-order propositional modal logic
• Propositional quantification in bimodal S5
• Expressivity of second order propositional modal logic
• A completeness theorem in modal logic
• Introduction to Boolean Algebras
• On second order intuitionistic propositional logic without a universal quantifier
• Propositional quantifiers in modal logic1
• Categories of frames for modal logic
• On the complexity of propositional quantification in intuitionistic logic
• On 2nd order intuitionistic propositional calculus with full comprehension
• Representability in second-order propositional poly-modal logic
• The identity of individuals in a strict functional calculus of second order
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• On modal logic with propositional quantifiers
• Montague Type Semantics for Modal Logics with Propositional Quantifiers
• A proof of the completeness theorem of Grödel
• Extensions of the Lewis system S5
• Pitts' quantifiers are not topological quantification

This page was built for publication: A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers