An Incremental Algorithm for Computing Prime Implicates in Modal Logic

DOI10.1007/978-3-319-06089-7_13zbMath1405.68364OpenAlexW993196258MaRDI QIDQ5410643

Manoj K. Raut

Publication date: 16 April 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-319-06089-7_13

zbMATH Keywords

modal logicknowledge compilationprime implicates

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

This page was built for publication: An Incremental Algorithm for Computing Prime Implicates in Modal Logic