Pages that link to "Item:Q2211848"
From MaRDI portal
The following pages link to Dynamic term-modal logics for first-order epistemic planning (Q2211848):
Displaying 10 items.
- Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
- Epistemic planning with attention as a bounded resource (Q2148811) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
- Erratum to: ``Dynamic term-modal logics for first-order epistemic planning'' (Q6080640) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
- Learning to act and observe in partially observable domains (Q6612817) (← links)
- Reasoning with rules and rights: term-modal deontic logic (Q6618557) (← links)
- Revisiting epistemic logic with names (Q6642565) (← links)
- \textit{De re} updates (Q6642569) (← links)
