The following pages link to (Q3367284):
Displayed 5 items.
- Multimodal logics of products of topologies (Q861569) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Common knowledge and limit knowledge (Q1934277) (← links)
- A Grim semantics for logics of belief (Q2481242) (← links)