Pages that link to "Item:Q3093998"
From MaRDI portal
The following pages link to Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998):
Displaying 8 items.
- Information dynamics and uniform substitution (Q484920) (← links)
- Toward a dynamic logic of questions (Q692177) (← links)
- Temporal languages for epistemic programs (Q1006494) (← links)
- On Axiomatizations of PAL (Q3094017) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond* (Q4612409) (← links)
- Two Logical Faces of Belief Revision (Q4982661) (← links)