Searching for "Definability in Dynamic Logic" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Domain Descriptions Should Be Modular
- … of an action is guaranteed. In dynamic logic we use the dual 〈α〉A defined as ¬[α]¬A as a means to express…
- Add To MetaCart
-
STEP: A Scripting Language for Embodied Agents
- … , parallel action par, repeat action repeat, which are used in dynamic logics [4]. Principle 3: Re-definability…
- Add To MetaCart
-
unknown title
- … define dynamic logic, and show how the frame problem can be solved by extending PDL…
- Add To MetaCart
-
An Integrated Modal Approach to Rational Agents
- … transformation (as it is usually defined in dynamic logic, cf. [10]) to a transformation on states (M; w). D also…
- Cited by 10 (1 self) – Add To MetaCart
Showing 1 through 4.
