Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity.

Pablo F. Castro

Published in: Stud Logica (2017)

Keyphrases

worst case
classical logic
complex systems
management system
intelligent systems
retrieval systems
information systems
computational complexity
expert systems
distributed systems
decision problems
modal logic