A Modal Logic for Non-deterministic Information Systems.

Published in: ICLA (2015)

Keyphrases

modal logic
temporal logic
complex systems
decision procedures
computer systems
situation calculus
expert systems
management system
distributed systems
inference rules
classical logic
nonmonotonic logics
dynamic logic