Proof Theory for Functional Modal Logic.

Shawn Standefer

Published in: Stud Logica (2018)

Keyphrases

modal logic
proof theory
default reasoning
decision procedures
reasoning problems
default logic
temporal logic
proof theoretic
inference rules
classical logic
automated reasoning
situation calculus
nonmonotonic reasoning
causal theories
belief revision
sequent calculus
model checking
machine learning