The following pages link to (Q4088789):
Displayed 7 items.
- Der Verband der normalen verzweigten Modallogiken (Q599049) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Topology and duality in modal logic (Q1101436) (← links)
- Some kinds of modal completeness (Q1151886) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- What is the coalgebraic analogue of Birkhoff's variety theorem? (Q5958779) (← links)