The following pages link to (Q2904054):
Displayed 21 items.
- True lies (Q143747) (← links)
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics (Q2115282) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Informational dynamics of epistemic possibility modals (Q2218705) (← links)
- Dynamic epistemic logic for implicit and explicit beliefs (Q2258806) (← links)
- Generation and selection of abductive explanations for non-omniscient agents (Q2258807) (← links)
- Bimodal logics with contingency and accident (Q2421523) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- Talking About Knowledge (Q3299839) (← links)
- (Q3384078) (← links)
- BELIEVING EPISTEMIC CONTRADICTIONS (Q4637950) (← links)
- DYNAMIC HYPERINTENSIONAL BELIEF REVISION (Q5024508) (← links)
- Epistemic Informativeness (Q5213658) (← links)
- A simple logic of concepts (Q6156201) (← links)