The following pages link to (Q5419888):
Displaying 14 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)
- Logic of nondeterministic information (Q1063586) (← links)
- Uniform continuity of information combination (Q1196129) (← links)
- Uniform substitution for differential game logic (Q1799081) (← 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)
- (Q3681933) (← links)
- Logical forms, substitutions and information types (Q6535318) (← links)
- The orthologic of epistemic modals (Q6606833) (← links)