Sign in
A Modal Logic for Non-deterministic Information Systems.
Md. Aquil Khan
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