Bases for closed sets of implicants and implicates in temporal logic

DOI10.1007/S00236-002-0087-2MaRDI QIDQ1403323zbMATH OpenOpenAlexFDO

Authors D. Massart

Publication date 1 September 2003

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-002-0087-2

zbMATH Keywords

automated deduction techniquesunitary temporal implicates

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1487802
• scientific article; zbMATH DE number 1916516
• A temporal negative normal form which preserves implicants and implicates
• Prime implicates and prime implicants: from propositional to modal logic
• scientific article; zbMATH DE number 517005

Cited in

(7)

• Prime implicates and prime implicants: from propositional to modal logic
• A temporal negative normal form which preserves implicants and implicates
• scientific article; zbMATH DE number 1487802 (Why is no real title available?)
• scientific article; zbMATH DE number 1916516 (Why is no real title available?)
• Restricted ideals and the groupability property. Tools for temporal reasoning.
• Generalizations of lattices via non-deterministic operators
• On prime scenarios in qualitative spatial and temporal reasoning

This page was built for publication: Bases for closed sets of implicants and implicates in temporal logic

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