Local and global operators and many-valued modal logics.

Charles G. Morgan

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

modal logic
temporal logic
modal operators
inference rules
decision procedures
classical logic
nonmonotonic logics
default logic
situation calculus
epistemic logic
state space
reinforcement learning
data model
programming language