Bases for closed sets of implicants and implicates in temporal logic

DOI10.1007/s00236-002-0087-2zbMath1034.68087OpenAlexW2111347871MaRDI QIDQ1403323

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

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

Related Items (2)

Generalizations of lattices via non-deterministic operators ⋮ Unnamed Item

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