Soundness of the Logical Framework for Its Typed Operational Semantics.

Healfdene Goguen

Published in: TLCA (1999)

Keyphrases

operational semantics
logical framework
inference rules
formal semantics
higher order
belief revision
reasoning tasks
linear logic
mental states
data model
normative systems
artificial intelligence
cooperative
mobile robot
speech acts
activity diagrams