Pages that link to "Item:Q2211848"

The following pages link to Dynamic term-modal logics for first-order epistemic planning (Q2211848):

Displaying 13 items.

• A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
• Quantifier-free epistemic term-modal logic with assignment operator (Q2067514) (← links)
• Epistemic planning with attention as a bounded resource (Q2148811) (← links)
• DEL-based epistemic planning: decidability and complexity (Q2211863) (← 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)
• A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic (Q6082225) (← 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)