A Hybridization of Irreflexive Modal Logics.

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
conditional logic
epistemic logic
situation calculus
classical logic
default logic
autoepistemic logic
modal operators
dna computing
artificial intelligence