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
UK
Tel:  +44-20-7631 6716
Fax: +44-20-7631 6727
Email: michael@dcs.bbk.ac.uk
Many-Dimensional Modal Logics Modal Logic

Research

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

Awards


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


Teaching


Colleagues