Compositionality of Hennessy-Milner logic by structural operational semantics.

Wan J. Fokkink Rob J. van Glabbeek Paulien de Wind

Published in: Theor. Comput. Sci. (2006)

Keyphrases

operational semantics
declarative semantics
formal semantics
term rewriting
model theoretic
mental states
data model
agent programming
denotational semantics
database
multi agent systems
databases
machine learning
artificial intelligence
speech acts