Pages that link to "Item:Q965903"
From MaRDI portal
The following pages link to An internal version of epistemic logic (Q965903):
Displaying 10 items.
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- A simple logic for reasoning about incomplete knowledge (Q2353977) (← links)
- Epistemic planning for single- and multi-agent systems (Q2901205) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- (Q5015396) (← links)
