Login / Signup
On the Proof Theory of the Modal Logic for Arithmetic Provability.
Daniel Leivant
Published in:
J. Symb. Log. (1981)
Keyphrases
</>
modal logic
proof theory
decision procedures
reasoning problems
default reasoning
default logic
temporal logic
inference rules
automated reasoning
proof theoretic
classical logic
situation calculus
causal theories
nonmonotonic reasoning
default theories
machine learning
model theoretic
sequent calculus
multi agent