Login / Signup
Approximations of modal logics: K and beyond.
Guilherme de Souza Rabello
Marcelo Finger
Published in:
Ann. Pure Appl. Log. (2008)
Keyphrases
</>
modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
default logic
conditional logic
situation calculus
classical logic
dynamic logic
sufficient conditions
model checking
modal operators