Modal Logics for Observation Equivalences.

Jan Rothe Dragan Masulovic

Published in: CMCS (2003)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
nonmonotonic logics
epistemic logic
classical logic
situation calculus
conditional logic
default logic
model checking
relational algebra
dynamic logic
sufficient conditions
autoepistemic logic