Pages that link to "Item:Q3006113"
From MaRDI portal
The following pages link to From Situation Calculus to Dynamic Epistemic Logic (Q3006113):
Displayed 12 items.
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- Regression and progression in stochastic domains (Q2303514) (← links)
- DEL Planning and Some Tractable Cases (Q3094006) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- Public announcements, public assignments and the complexity of their logic (Q4583171) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- (Q5028475) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)