Second-order propositional modal logic and monadic alternation hierarchies

DOI10.1016/j.apal.2014.08.003zbMath1343.03015OpenAlexW2065586815MaRDI QIDQ466445

Antti Kuusisto

Publication date: 27 October 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2014.08.003

zbMATH Keywords

modal logicmonadic second-order logicpropositional quantifierssecond-order logicalternation hierarchies

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Related Items (4)

Second-order propositional modal logic: expressiveness and completeness results ⋮ On the logic of belief and propositional quantification ⋮ Unnamed Item ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers

Cites Work

• Elements of finite model theory.
• What is nominalistic mereology?
• Uniform interpolation and propositional quantifiers in modal logics
• The polynomial-time hierarchy
• On propositional quantifiers in provability logic
• Hybrid languages
• Arity and alternation in second-order logic
• Expressivity of second order propositional modal logic
• The monadic quantifier alternation hierarchy over grids and graphs
• Hybrid logics: characterization, interpolation and complexity
• Interpolation for first order S5
• Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations
• A completeness theorem in modal logic
• Propositional quantifiers in modal logic1
• On the complexity of propositional quantification in intuitionistic logic
• Propositional Dynamic Logic with Program Quantifiers
• On modal logic with propositional quantifiers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Second-order propositional modal logic and monadic alternation hierarchies