Cut-Free Systems for Three-Valued Modal Logics.

Published in: Notre Dame J. Formal Log. (1992)

Keyphrases

modal logic
nonmonotonic logics
inference rules
decision procedures
temporal logic
default theories
epistemic logic
artificial intelligence
dynamic programming
distributed systems