Login / Signup
Implementing Connection Calculi for First-order Modal Logics.
Jens Otten
Published in:
IWIL@LPAR (2012)
Keyphrases
</>
modal logic
sequent calculi
conditional logic
temporal logic
decision procedures
inference rules
first order logic
epistemic logic
nonmonotonic logics
classical logic
higher order
situation calculus
horn clauses
default logic
model theoretic
autoepistemic logic
cooperative
model checking
modal operators
data model