Modal Logic of Concurrent Nondeterministic Programs.

Karl R. Abrahamson

Published in: Semantics of Concurrent Computation (1979)

Keyphrases

modal logic
dynamic logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
nonmonotonic logics
finite state
model checking
conditional logic
situation calculus
concurrent programs
finite automata
autoepistemic logic
initial state
domain knowledge
multi agent systems