The following pages link to (Q5419888):
Displaying 10 items.
- Book review of: Johan van Benthem, Logical dynamics of information and interaction (Q456975) (← links)
- A curious dialogical logic and its composition problem (Q484198) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- On axiomatizations of public announcement logic (Q484925) (← links)
- Logics of imprecise comparative probability (Q2237162) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- Schematic Validity in Dynamic Epistemic Logic: Decidability (Q3093998) (← links)
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic (Q3299584) (← links)
- Logical forms, substitutions and information types (Q6535318) (← links)
- The orthologic of epistemic modals (Q6606833) (← links)
