Introducing Reactive Kripke Semantics and Arc Accessibility.

Published in: Pillars of Computer Science (2008)

Keyphrases

kripke models
modal logic
logic programming
formal semantics
temporal logic
desirable properties
action theories
multi agent
inference rules
semantic information
speech acts
operational semantics
data sets
databases
machine learning
information retrieval
real time
logical framework