Second-order propositional modal logic and monadic alternation hierarchies

DOI10.1016/J.APAL.2014.08.003zbMATH Open1343.03015OpenAlexW2065586815MaRDI QIDQ466445FDOQ466445

Authors: 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

Recommendations

• A modal perspective on monadic second-order alternation hierarchies
• Second-order propositional modal logic: expressiveness and completeness results
• The expressive power of second-order propositional modal logic
• Expressivity of second order propositional modal logic
• Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
• On the existence of a modal-logical basis for monadic second-order logic
• Monadic Second Order Logic And Its Fragments

zbMATH Keywords

modal logicmonadic second-order logicsecond-order logicpropositional quantifiersalternation hierarchies

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
• A completeness theorem in modal logic
• Propositional quantifiers in modal logic1
• Title not available (Why is that?)
• Propositional dynamic logic with program quantifiers
• Elements of finite model theory.
• Handbook of modal logic
• Title not available (Why is that?)
• The polynomial-time hierarchy
• On propositional quantifiers in provability logic
• Hybrid languages
• The monadic quantifier alternation hierarchy over grids and graphs
• Expressive power of monadic logics on words, trees, pictures, and graphs
• Title not available (Why is that?)
• Hybrid logics: Characterization, interpolation and complexity
• Arity and alternation in second-order logic
• Uniform interpolation and propositional quantifiers in modal logics
• Expressivity of second order propositional modal logic
• A modal perspective on monadic second-order alternation hierarchies
• Interpolation for first order S5
• On the complexity of propositional quantification in intuitionistic logic
• On modal logic with propositional quantifiers
• What is nominalistic mereology?

Cited In (24)

• Expressivity of second order propositional modal logic
• Title not available (Why is that?)
• Existential second-order logic and modal logic with quantified accessibility relations
• Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
• Representability in second-order propositional poly-modal logic
• Monadic Second-Order Logic and Transitive Closure Logics over Trees
• Title not available (Why is that?)
• On the logic of belief and propositional quantification
• Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
• On the existence of a modal-logical basis for monadic second-order logic
• Arity and alternation in second-order logic
• Hybrid Multifluid Algorithms
• Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• Automated Reasoning with Analytic Tableaux and Related Methods
• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS
• Second-order propositional modal logic: expressiveness and completeness results
• A modal perspective on monadic second-order alternation hierarchies
• Improved Second-Order Quantifier Elimination in Modal Logic
• The expressive power of second-order propositional modal logic
• Modal deduction in second-order logic and set theory. II
• Logical laws for existential monadic second-order sentences with infinite first-order parts
• Asymptotic Monadic Second-Order Logic
• Pedagogical Second-order Propositional Calculi

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466445)