The following pages link to Darko Sarenac (Q1411657):
Displaying 9 items.
- (Q861568) (redirect page) (← links)
- Multimodal logics of products of topologies (Q861569) (← links)
- Completeness of indexed \(\varepsilon\)-calculus (Q1411658) (← links)
- Modal Logic for Qualitative Dynamics (Q2902942) (← links)
- (Q3001360) (← links)
- (Q3367284) (← links)
- (Q4440571) (← links)
- Revisiting completeness for the Kn modal logics: a new proof (Q4444913) (← links)
- Cardinal spaces and topological representations of bimodal logics (Q5697718) (← links)