Existential second-order logic and modal logic with quantified accessibility relations
From MaRDI portal
Publication:259071
DOI10.1016/J.IC.2016.01.003zbMATH Open1402.03021OpenAlexW2181631406MaRDI QIDQ259071FDOQ259071
Authors: Lauri Hella, Antti Kuusisto 
Publication date: 10 March 2016
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2016.01.003
Recommendations
- Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
- Second-order propositional modal logic and monadic alternation hierarchies
- Representability in second-order propositional poly-modal logic
- Expressivity of second order propositional modal logic
- A modal perspective on monadic second-order alternation hierarchies
Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25)
Cites Work
- \(\Sigma_ 1^ 1\)-formulae on finite structures
- Propositional dynamic logic of regular programs
- Complexity and expressivity of uniform one-dimensional fragment with equality
- Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
- Title not available (Why is that?)
- Using the Universal Modality: Gains and Questions
- The modal logic of inequality
- A spectrum hierarchy
- Decidability of second-order theories and automata on infinite trees
- Title not available (Why is that?)
- Subclasses of binary NP
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Propositional dynamic logic with program quantifiers
- Mathematical Foundations of Computer Science 2003
- Existential second-order logic over graphs: charting the tractability frontier
- Graph properties checkable in linear time in the number of vertices
- Finite-model theory -- A personal perspective
- Elements of finite model theory.
Cited In (6)
- On modal logics characterized by models with relative accessibility relations. II
- Existential Fixed-Point Logic as a Fragment of Second-Order Logic
- Monadic \(\Sigma^{1}_{1}\) and modal logic with quantified binary relations
- On the existence of a modal-logical basis for monadic second-order logic
- Modal logics with relative accessibility relations
- Improved Second-Order Quantifier Elimination in Modal Logic
This page was built for publication: Existential second-order logic and modal logic with quantified accessibility relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q259071)
