Local Action and Abstract Separation Logic.
Cristiano CalcagnoPeter W. O'HearnHongseok YangPublished in: LICS (2007)
Keyphrases
- propositional dynamic logic
- reasoning about actions
- transition systems
- logic programming
- modal logic
- human actions
- higher level
- formal theory
- truth values
- action theories
- action language
- knowledge representation
- high level
- sound and complete axiomatization
- causal knowledge
- joint action
- classical logic
- defeasible logic
- machine learning
- logical framework
- multi valued
- information systems
- artificial intelligence