Second-order propositional modal logic and monadic alternation hierarchies
From MaRDI portal
(Redirected from Publication:466445)
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
Cites work
- scientific article; zbMATH DE number 4041866 (Why is no real title available?)
- scientific article; zbMATH DE number 1223636 (Why is no real title available?)
- scientific article; zbMATH DE number 612169 (Why is no real title available?)
- A completeness theorem in modal logic
- A modal perspective on monadic second-order alternation hierarchies
- Arity and alternation in second-order logic
- Elements of finite model theory.
- Expressive power of monadic logics on words, trees, pictures, and graphs
- Expressivity of second order propositional modal logic
- Handbook of modal logic
- Hybrid languages
- Hybrid logics: Characterization, interpolation and complexity
- Interpolation for first order S5
- Modal logic
- Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
- On modal logic with propositional quantifiers
- On propositional quantifiers in provability logic
- On the complexity of propositional quantification in intuitionistic logic
- Propositional dynamic logic with program quantifiers
- Propositional quantifiers in modal logic1
- The monadic quantifier alternation hierarchy over grids and graphs
- The polynomial-time hierarchy
- Uniform interpolation and propositional quantifiers in modal logics
- What is nominalistic mereology?
Cited in
(24)- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Pedagogical Second-order Propositional Calculi
- scientific article; zbMATH DE number 7360013 (Why is no real title available?)
- Arity and alternation in second-order logic
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS
- Second-order propositional modal logic: expressiveness and completeness results
- Modal deduction in second-order logic and set theory. II
- Asymptotic Monadic Second-Order Logic
- Automated Reasoning with Analytic Tableaux and Related Methods
- Monadic Second-Order Logic and Transitive Closure Logics over Trees
- On the logic of belief and propositional quantification
- On the existence of a modal-logical basis for monadic second-order logic
- Expressivity of second order propositional modal logic
- Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
- A modal perspective on monadic second-order alternation hierarchies
- Hybrid Multifluid Algorithms
- Logical laws for existential monadic second-order sentences with infinite first-order parts
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- The expressive power of second-order propositional modal logic
- Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
- Existential second-order logic and modal logic with quantified accessibility relations
- Representability in second-order propositional poly-modal logic
- scientific article; zbMATH DE number 7577569 (Why is no real title available?)
- Improved Second-Order Quantifier Elimination in Modal Logic
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)
