curriculum vitae:

Curriculum in HTML format: here.

Curriculum in PDF format: here.

Selected Papers:

"Modal Logic for Qualitative Dynamics" Submitted as a part of a special issue on Dynamic Logic (Synthese).

 "Topological Compass Logic," (Submitted August 2009)

"Fractal Completeness Techniques in Topological Modal Logic," (submitted October 2009) With Tamar Lando.

"Sierpinski Carpet, Menger Sponge, and Modal Topological Semantics," (Submitted November 2009) With Tamar Lando.

"The system of natural seduction: A logic of expectation and compromise." In preparation, 2008.

"The Logic of Dynamic Positivism: On Making Knowledge Public." In preparation, 2008

"Modal Logics for Products of Topologies" With van Benthem, Johan, Bezhanishvili, Guram, and ten Cate, Balder. Studia Logica, 2006.

"Cardinal spaces and topological representations of bimodal logics." With Loewe, Benedik. Logic Journal of IGPL, 2005.

"The Geometry of Knowledge". With van Benthem, Johan. Trends in universal logic. J-Y. Béziau, A. Costa-Leite & A. Facchini, eds. Institute of Logic, University of Neuchatel - Switzerland, 2003.

"Preservation of Truth," With Jennings, R.E. Truth and Probability, Bryson Brown, and Francois Lepage, eds., 2003.

"Completeness of an indexed epsilon-calculus." With Mints, G.M. Archive for Mathematical Logic, 2003.

"The Preservation of Relevance". With Jennings, R.E. Eidos, 2003.

"Paraconsistency, Implication, and Truth." With Jennings, R.E. Proceedings of The International Conference on Artificial Intelligence, Las Vegas, NV, June, 25-29, 2001.