A Modal Logic for a Subclass of Event Structures.

Kamal Lodaya P. S. Thiagarajan

Published in: ICALP (1987)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
situation calculus
conditional logic
classical logic
epistemic logic
event detection
default logic
explanation based generalization
np complete
domain knowledge
nonmonotonic logics
dynamic programming
dynamic logic
prime implicates
data model