Login / Signup
Adaptive Logic as a Modal Logic.
Patrick Allo
Published in:
Stud Logica (2013)
Keyphrases
</>
modal logic
temporal logic
decision procedures
classical logic
inference rules
epistemic logic
nonmonotonic logics
conditional logic
situation calculus
default logic
dynamic logic
prime implicates
autoepistemic logic
modal operators
sequent calculus
model checking
sequent calculi
description logic alc