Resolution in Modal, Description and Hybrid Logic.

Carlos Areces Maarten de Rijke Hans de Nivelle

Published in: J. Log. Comput. (2001)

Keyphrases

modal logic
nonmonotonic logics
high resolution
classical logic
high level
temporal logic
sampling rate
dynamic logic
logic programming
epistemic logic
defeasible logic
multi valued
valued logic
modal operators
abductive reasoning
neural network
nonmonotonic reasoning
model checking
high quality
learning algorithm