Second-order quantifier elimination in modal contexts

DOI10.1007/3-540-45757-7_19MaRDI QIDQ4708920zbMATH OpenFDO

Authors Andrzej Szałas

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240223.htm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Quantifier elimination, model completeness, and related topics (03C10) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Logic in artificial intelligence (68T27)

Recommendations

• Second-order quantifier elimination. Foundations, computational aspects and applications
• Improved Second-Order Quantifier Elimination in Modal Logic
• Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
• The Ackermann approach for modal logic, correspondence theory and second-order reduction
• scientific article; zbMATH DE number 1303431

Cited in

(9)

• 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
• Improved Second-Order Quantifier Elimination in Modal Logic
• Second-order quantifier elimination. Foundations, computational aspects and applications
• Second-order reasoning in description logics
• The Ackermann approach for modal logic, correspondence theory and second-order reduction
• SCAN -- elimination of predicate quantifiers
• Relational Methods in Computer Science

This page was built for publication: Second-order quantifier elimination in modal contexts

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