Relational Methods in Computer Science

DOI10.1007/11734673MaRDI QIDQ5899321zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska, Andrzej Szałas

Publication date 2 May 2007

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

Full work available at URL https://doi.org/10.1007/11734673

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Quantifier elimination, model completeness, and related topics (03C10) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• The Ackermann approach for modal logic, correspondence theory and second-order reduction
• scientific article; zbMATH DE number 1303431
• scientific article; zbMATH DE number 1931662
• Improved Second-Order Quantifier Elimination in Modal Logic
• scientific article; zbMATH DE number 1421198

Cited in

(7)

• Elimination problems in logic: a brief history
• Quantifier elimination for infinite terms
• Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
• Towards incorporating background theories into quantifier elimination
• The Ackermann approach for modal logic, correspondence theory and second-order reduction
• scientific article; zbMATH DE number 1302474 (Why is no real title available?)
• scientific article; zbMATH DE number 1421198 (Why is no real title available?)

This page was built for publication: Relational Methods in Computer Science

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