scientific article; zbMATH DE number 1341605

zbMATH Open0938.03032MaRDI QIDQ4263154FDOQ4263154

Authors: Stéphane Demri, Rajeev Goré 

Publication date: 11 May 2000

Title of this publication is not available (Why is that?)

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

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)

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)