Assertion: logic's semantic | /r/HasProperty | based on kripke models
Facets:
value: for goal
type: PURPOSE
value: with accessibility relations between worlds
type: OTHER
value: for operators
type: TRANSITIVE-OBJECT
value: for the belief
type: PURPOSE
value: for intention
type: PURPOSE
Source sentences:
text: The formal semantics is based on Kripke models with accessibility relations between worlds for the belief, goal and intention operators.