2006 | ||
---|---|---|
4 | EE | Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac: Multimo dal Logics of Products of Topologies. Studia Logica 84(3): 369-392 (2006) |
2005 | ||
3 | EE | Benedikt Löwe, Darko Sarenac: Cardinal spaces and topological representations of bimodal logics. Logic Journal of the IGPL 13(3): 301-306 (2005) |
2003 | ||
2 | EE | Grigori Mints, Darko Sarenac: Completeness of indexed epsilon-calculus. Arch. Math. Log. 42(7): 617-625 (2003) |
2000 | ||
1 | EE | Tara Nicholson, Ray E. Jennings, Darko Sarenac: Revisiting completeness for the Kn modal logics: A new proof. Logic Journal of the IGPL 8(1): (2000) |
1 | Johan van Benthem | [4] |
2 | Guram Bezhanishvili | [4] |
3 | Balder ten Cate | [4] |
4 | Ray E. Jennings | [1] |
5 | Benedikt Löwe | [3] |
6 | Grigori Mints | [2] |
7 | Tara Nicholson | [1] |