Login / Signup
On the Proof Theory of the Modal mu-Calculus.
Thomas Studer
Published in:
Stud Logica (2008)
Keyphrases
</>
nonmonotonic reasoning
proof theory
default reasoning
proof theoretic
modal logic
artificial intelligence
description logics
automated reasoning
reasoning problems
sequent calculus
cut elimination
learning algorithm
special case
knowledge representation
temporal logic
decision procedures