Inductive modal logics.

Dimiter Vakarelov

Published in: Fundam. Informaticae (1992)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
inductive learning
situation calculus
classical logic
machine learning
default logic
conditional logic
inductive inference
inductive logic programming
dynamic logic
cooperative
model checking
belief revision