scientific article; zbMATH DE number 176527
From MaRDI portal
Publication:4035693
Recommendations
- Complexity and expressive power of second-order extended Horn logic
- The expressive power of second-order propositional modal logic
- Expressivity of second order propositional modal logic
- Expressivity within second-order transitive-closure logic
- Second-Order Equational Logic (Extended Abstract)
- scientific article; zbMATH DE number 1841812
- Second order logic and the weak exponential hierarchies
- Expressive Power of Monadic Second-Order Logic and Modal μ-Calculus
- Expressing second-order sentences in intuitionistic dependence logic
- Second-order propositional modal logic: expressiveness and completeness results
Cited in
(13)- Capturing complexity classes by fragments of second-order logic
- A fixed-point theorem for Horn formula equations
- Logics of finite Hankel rank
- Algebraic and logical characterizations of deterministic linear time classes
- Semantic restrictions over second-order logic
- A second-order system for polytime reasoning based on Grädel's theorem.
- The expressive power of second-order propositional modal logic
- Complexity barriers as independence
- Capturing the polynomial hierarchy by second-order revised Krom logic
- scientific article; zbMATH DE number 1841812 (Why is no real title available?)
- Complexity and expressive power of second-order extended Horn logic
- On the complexity of single-rule datalog queries.
- The expressive power of revised Datalog on problems with closure properties
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4035693)
