Pages that link to "Item:Q616039"
From MaRDI portal
The following pages link to The situation calculus: a case for modal logic (Q616039):
Displaying 16 items.
- Non-Markovian control in the Situation Calculus (Q543575) (← links)
- A unifying action calculus (Q543584) (← links)
- A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) (← links)
- Iterated belief change in the situation calculus (Q543588) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Inductive situation calculus (Q1028914) (← links)
- Determining the environment: a modal logic for closed interaction (Q1036057) (← links)
- Frames in the space of situations (Q1174513) (← links)
- Miracles in formal theories of action (Q1264002) (← links)
- Model-theoretical foundation of action and progression (Q1373857) (← links)
- Reasoning about time in the situation calculus (Q1924726) (← links)
- (Q3493322) (← links)
- Regression in Modal Logic (Q3647207) (← links)
- Belief Change: from Situation Calculus to Modal Logic (Q3647208) (← links)
- (Q3801528) (← links)
- Narratives in the Situation Calculus (Q4316293) (← links)