BibSonomy :: author  ::

bookmarks

publications

(5)

• Multimo dal Logics of Products of Topologies.
  Johan van Benthem and Guram Bezhanishvili and Balder ten Cate and Darko Sarenac Studia Logica 84 369-392 (2006)
  to dblp by dblp on 2007-12-19 00:00:00
  | URL | BibTeX  
• The Geometry of Knowledge
  J. van Benthem and D. Sarenac (2004)
  to conceptual-spaces logic math networks by rafg on 2007-08-24 13:31:38
  | URL | BibTeX  
• Cardinal spaces and topological representations of bimodal logics.
  Benedikt Löwe and Darko Sarenac Logic Journal of the IGPL 13 301-306 (2005)
  to dblp by dblp on 2006-03-16 00:00:00
  | URL | BibTeX  
• Completeness of indexed epsilon-calculus.
  Grigori Mints and Darko Sarenac Arch. Math. Log. 42 617-625 (2003)
  to dblp by dblp on 2004-10-25 00:00:00
  | URL | BibTeX  
• Revisiting completeness for the Kn modal logics: A new proof.
  Tara Nicholson and Ray E. Jennings and Darko Sarenac Logic Journal of the IGPL 8 (2000)
  to dblp by dblp on 2003-09-19 00:00:00
  | URL | BibTeX