Pages that link to "Item:Q5419900"

The following pages link to (Q5419900):

Displaying 8 items.

• On axiomatizations of public announcement logic (Q484925) (← links)
• A logic of goal-directed knowing how (Q2218708) (← links)
• Planning-based knowing how: a unified approach (Q2238589) (← links)
• A dynamic epistemic framework for reasoning about conformant probabilistic plans (Q2321264) (← links)
• A Logic of Knowing How (Q3457721) (← links)
• (Q5015399) (← links)
• BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
• Dynamic Epistemic Logics (Q5249670) (← links)