Second-order propositional modal logic and monadic alternation hierarchies
From MaRDI portal
Publication:466445
DOI10.1016/j.apal.2014.08.003zbMath1343.03015MaRDI QIDQ466445
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
modal logic; monadic second-order logic; propositional quantifiers; second-order logic; alternation hierarchies
Related Items
Unnamed Item, Second-order propositional modal logic: expressiveness and completeness results, On the logic of belief and propositional quantification, 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