Focused Labeled Proof Systems for Modal Logic.

Dale Miller Marco Volpe

Published in: LPAR (2015)

Keyphrases

modal logic
decision procedures
inference rules
sequent calculus
temporal logic
computer systems
distributed systems
supervised learning
training data
situation calculus
default logic
management system
nonmonotonic logics
desirable properties
conditional logic
autoepistemic logic
prime implicates
training set