Login / Signup
Topological Modal Logics with Difference Modality
Andrey Kudinov
Published in:
CoRR (2010)
Keyphrases
</>
modal logic
temporal logic
decision procedures
inference rules
multi modal
nonmonotonic logics
epistemic logic
medical images
classical logic
conditional logic
dynamic logic
default logic
model checking
situation calculus
conjunctive queries
expert systems
multi agent
modal operators
reinforcement learning