Darko Sarenac

According to our database, Darko Sarenac authored at least 4 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Multimo dal Logics of Products of Topologies.

Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac

Stud Logica, 2006

2005

Cardinal spaces and topological representations of bimodal logics.

Benedikt Löwe, Darko Sarenac

Log. J. IGPL, 2005

2003

Completeness of indexed epsilon-calculus.

Grigori Mints, Darko Sarenac

Arch. Math. Log., 2003

2000

Revisiting completeness for the K_n modal logics: A new proof.

Tara Nicholson, Ray E. Jennings, Darko Sarenac

Log. J. IGPL, 2000