Login / Signup
Ground Nonmonotonic Modal Logic S5: New Results.
Mauricio Javier Osorio Galindo
Juan Antonio Navarro Pérez
José R. Arrazola Ramírez
Verónica Borja Macías
Published in:
J. Log. Comput. (2005)
Keyphrases
</>
modal logic
nonmonotonic logics
decision procedures
temporal logic
inference rules
autoepistemic logic
classical logic
epistemic logic
situation calculus
default logic
conditional logic
dynamic logic
prime implicates
model theoretic
description logic alc