Implicates and reduction techniques for temporal logics

DOI10.1007/3-540-49545-2_21MaRDI QIDQ4246976zbMATH OpenFDO

Authors A. Valverde, I. P. de Guzmán, Manuel Ojeda-Aciego

Publication date 5 October 1999

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

Full work available at URL https://doi.org/10.1007/3-540-49545-2_21

zbMATH Keywords

automated theorem provingFNextfuture fragmentlinear discrete timereductionssize of temporal propositional formulastemporal propositional logicunsatisfiabilityvalidity

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• Implicates and reduction techniques for temporal logics
• Simplifying inductive schemes in temporal logic
• Implementing Temporal Logics: Tools for Execution and Proof
• scientific article; zbMATH DE number 2079263
• On the expressive power of temporal logic
• scientific article; zbMATH DE number 4119592
• Temporal Logics
• scientific article; zbMATH DE number 1927553
• Propositional temporal logics: decidability and completeness
• scientific article; zbMATH DE number 6287569

Cited in

(8)

• Implicates and reduction techniques for temporal logics
• Removing irrelevant information in temporal resolution proofs
• scientific article; zbMATH DE number 2079263 (Why is no real title available?)
• Propositional temporal proving with reductions to a SAT problem
• scientific article; zbMATH DE number 4197950 (Why is no real title available?)
• Temporal reasoning over linear discrete time
• Reductions for non-clausal theorem proving
• Simplifying inductive schemes in temporal logic

This page was built for publication: Implicates and reduction techniques for temporal logics

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