Implicates and reduction techniques for temporal logics

DOI10.1023/A:1018923315631MaRDI QIDQ1978028zbMATH OpenFDO

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

Publication date 7 June 2000

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1018923315631

zbMATH Keywords

future fragmentpropositional temporal logicreductionsstrategies to decrease the size of temporal propositional formulasunsatisfiabilityvalidity

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 1301761
• Propositional temporal proving with reductions to a SAT problem
• scientific article; zbMATH DE number 1136071
• Simplifying inductive schemes in temporal logic

Cited in

(6)

• scientific article; zbMATH DE number 1301761 (Why is no real title available?)
• 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
• 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 Q1978028)