scientific article; zbMATH DE number 1303431
From MaRDI portal
Publication:4250040
Recommendations
- Second-order quantifier elimination. Foundations, computational aspects and applications
- Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
- On second-order generalized quantifiers and finite structures
- Improved Second-Order Quantifier Elimination in Modal Logic
- scientific article; zbMATH DE number 1163945
- Second-order quantifiers and the complexity of theories
- Partial fixed point for finite models in second order logic
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- The hierarchy theorem for second order generalized quantifiers
- Fixed-point elimination in the intuitionistic propositional calculus
Cited in
(14)- Voting by eliminating quantifiers
- Annotation theories over finite graphs
- Modal frame correspondences and fixed-points
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
- Elementary canonical formulae: extending Sahlqvist's theorem
- Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
- Second-order quantifier elimination. Foundations, computational aspects and applications
- Sahlqvist theorem for modal fixed point logic
- The Ackermann approach for modal logic, correspondence theory and second-order reduction
- Sahlqvist correspondence for modal mu-calculus
- General domain circumscription and its first-order reduction
- scientific article; zbMATH DE number 1931662 (Why is no real title available?)
- Relational Methods in Computer Science
- Semantic forgetting in expressive description logics
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 Q4250040)
