Towards a Proof Theory of Gödel Modal Logics

George Metcalfe Nicola Olivetti

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

proof theory
modal logic
default reasoning
decision procedures
reasoning problems
default logic
temporal logic
inference rules
automated reasoning
epistemic logic
nonmonotonic logics
classical logic
situation calculus
sequent calculus
belief revision
theorem prover
partial order