Assertion: dynamic logic | /r/HasProperty | augmented with modal operators
Facets:
value: for knowledge
type: PURPOSE
Source sentences:
text: First a core is built, consisting of the language of propositional dynamic logic augmented with modal operators for knowledge \((\mathbf{K})\), belief \((\mathbf{B})\) and desire \((\mathbf{D})\) as well as an operator \((\mathbf{A})\)