Birkbeck, University of London




Michael Zakharyaschev

professor of computer science

Michael Zakharyaschev
Room 161, Main Building
Department of Computer Science and Information Systems
Birkbeck, University of London
Malet Street
London WC1E 7HX
Tel:  +44-20-7631 6716
Fax: +44-20-7631 6727
Many-Dimensional Modal Logics Modal Logic


List of publications [DBLP ]

Google Scholar profile

"Many-Dimensional Modal Logics: Theory and Applications"
D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. 2003. Elsevier page.

"Modal Logic" A. Chagrov and M. Zakharyaschev. 1997. Oxford University Press page.

"Mathematical Problems from Applied Logic I, II. Logics for the XXIst Century". International Mathematical Series, Vol. 4 and 5. Springer, 2006-7. Edited by D. Gabbay, S. Goncharov and M.Zakharyaschev. Vol.1 and Vol.2 Springer pages.

Funded projects


Advances in Modal Logic

AiML 2016 will be held in Budapest, Hungary

[volume 1]
volume 1
[volume 2]
volume 2
[volume 3]
volume 3
[volume 4]
volume 4
[volume 5]
volume 5

Current activities