The following pages link to (Q2904054):
Displayed 5 items.
- Inverse images of box formulas in modal logic (Q383565) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- Dynamic epistemic logic for implicit and explicit beliefs (Q2258806) (← links)
- Generation and selection of abductive explanations for non-omniscient agents (Q2258807) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)