Displaying The Modal Logic of Consistency.

Heinrich Wansing

Published in: J. Symb. Log. (1999)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
classical logic
conditional logic
epistemic logic
nonmonotonic logics
situation calculus
default logic
prime implicates
dynamic logic
explanation based generalization
modal operators
model checking
logic programming
sequent calculus
knowledge base