Modal Logics in the Theory of Information Systems.

Published in: Math. Log. Q. (1984)

Keyphrases

modal logic
information systems
nonmonotonic logics
decision procedures
temporal logic
inference rules
information technology
epistemic logic
classical logic
general theory
incomplete information
modal operators
model checking
health care
dynamic programming
autoepistemic logic
dynamic logic