Improved Second-Order Quantifier Elimination in Modal Logic

DOI10.1007/978-3-540-87803-2_31zbMath1178.03033OpenAlexW1525000981MaRDI QIDQ3532480

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)

Related Items (2)

The Ackermann approach for modal logic, correspondence theory and second-order reduction ⋮ First-Order Resolution Methods for Modal Logics

Uses Software

• SQEMA

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