Pages that link to "Item:Q3457699"
From MaRDI portal
The following pages link to A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation (Q3457699):
Displayed 10 items.
- Epistemic protocols for dynamic gossip (Q504511) (← links)
- A computationally grounded logic of graded belief (Q2055797) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Epistemic logics with structured knowledge (Q2333672) (← links)
- A logic for binary classifiers and their explanation (Q2695522) (← links)
- Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic (Q3299577) (← links)
- Possible Worlds Semantics Based on Observation and Communication (Q3299583) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)