Pages that link to "Item:Q3093998"
From MaRDI portal
The following pages link to Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998):
Displayed 5 items.
- Information dynamics and uniform substitution (Q484920) (← links)
- Toward a dynamic logic of questions (Q692177) (← links)
- On Axiomatizations of PAL (Q3094017) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- Two Logical Faces of Belief Revision (Q4982661) (← links)