Expressivity of second order propositional modal logic

DOI10.1007/s10992-005-9012-9zbMath1106.03016OpenAlexW1969118410MaRDI QIDQ2499295

Balder ten Cate

Publication date: 14 August 2006

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-005-9012-9

zbMATH Keywords

propositional quantifiersexpressive powersecond-order modal logicbounded fragment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (9)

Pure extensions, proof rules, and hybrid axiomatics ⋮ A modal loosely guarded fragment of second-order propositional modal logic ⋮ Second-order propositional modal logic and monadic alternation hierarchies ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ Comments to `Logics of public communications' ⋮ On the logic of belief and propositional quantification ⋮ Unnamed Item ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Hybrid logic meets IF modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal and guarded characterisation theorems over finite transition systems
• The expressive power of second-order propositional modal logic
• Constructive interpolation in hybrid logic
• Determiners and logic
• Interpolation for extended modal languages
• Propositional quantifiers in modal logic1
• A note on modal formulae and relational properties
• First-order definability in modal logic
• On the complexity of propositional quantification in intuitionistic logic
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Persistent and invariant formulas relative to theories of higher order

This page was built for publication: Expressivity of second order propositional modal logic