Improved Second-Order Quantifier Elimination in Modal Logic

DOI10.1007/978-3-540-87803-2_31MaRDI QIDQ3532480zbMATH OpenOpenAlexFDO

Authors Renate A. Schmidt

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_31

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• scientific article; zbMATH DE number 1931662
• 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
• Second-order propositional modal logic and monadic alternation hierarchies
• Second-order quantifier elimination. Foundations, computational aspects and applications
• Existential second-order logic and modal logic with quantified accessibility relations
• Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
• A modal-tense sortal logic with variable-domain second-order quantification

Cited in

(7)

• Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
• Second-order quantifier elimination on relational monadic formulas -- a basic method and some less expected applications
• The Ackermann approach for modal logic, correspondence theory and second-order reduction
• scientific article; zbMATH DE number 1303431 (Why is no real title available?)
• scientific article; zbMATH DE number 1931662 (Why is no real title available?)
• First-order resolution methods for modal logics
• Relational Methods in Computer Science

Describes a project that uses

Uses Software

• SQEMA

This page was built for publication: Improved Second-Order Quantifier Elimination in Modal Logic

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