scientific article; zbMATH DE number 1341605

MaRDI QIDQ4263154zbMATH OpenFDO

Authors Stéphane Demri, Rajeev Goré

Publication date 11 May 2000

zbMATH Keywords

first order logicdisplay calculuspolynomial-time transformationmodal provability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Tableau-based translation from first-order logic to modal logic
• Implementing and evaluating provers for first-order modal logics
• A proof theoretic tool for first-order modal logic
• On the proof-theory of two formalisations of modal first-order logic
• Modal Logics Between Propositional and First-order
• scientific article; zbMATH DE number 4037817
• scientific article; zbMATH DE number 3924750
• HOL Based First-Order Modal Logic Provers
• Alternative translation techniques for propositional and first-order modal logics
• A modal provability logic of explicit and implicit proofs

Cited in

(1)

• A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus

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 Q4263154)