Tableau Calculus for Local Cubic Modal Logic and it's Implementation.

Maarten Marx Szabolcs Mikulás Stefan Schlobach

Published in: Log. J. IGPL (1999)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
situation calculus
epistemic logic
nonmonotonic logics
classical logic
knowledge base
default logic
prime implicates
multi agent
expert systems
rough sets
sufficient conditions
conditional logic