Implicates and reduction techniques for temporal logics

DOI10.1023/A:1018923315631zbMath0941.03016MaRDI QIDQ1978028

A. Valverde, Manuel Ojeda Aciego, Inma P. de Guzmán

Publication date: 7 June 2000

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

zbMATH Keywords

validityreductionspropositional temporal logicunsatisfiabilityfuture fragmentstrategies to decrease the size of temporal propositional formulas

Mathematics Subject Classification ID

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

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