IF Modal Logic and Classical Negation.

Tero Tulenheimo

Published in: Stud Logica (2014)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
situation calculus
nonmonotonic logics
logic programming
logic programs
default logic
conditional logic
dynamic logic
data model
modal operators