Logic Group
Michael Zakharyaschev
Visiting Associate Professor
mikhail@jaist.ac.jp
DPhil Novosibirsk State University, 1985
Research Interests
- Mathematical logic with emphasis on non-classical logics
- Universal algebra
- Artificial intelligence and automated theorem proving
- Logic programming, mathematical logic in computer science
Publications
- A.V. Chagrov and M.V. Zakharyaschev, Modal Logic,
Oxford University Press, 1996. (In print.)
- M.V. Zakharyaschev, Syntax and semantics of
intermediate logics, Algebra and Logic, vol.28 (1989), pp.262--282.
- M.V. Zakharyaschev, Modal companions of intermediate
logics: syntax, semantics and preservation theorems, Mathematics
of the USSR Sbornik, vol.68 (1991), pp.277--289.
- M.V. Zakharyaschev, Canonical formulas for K4. Part I:
Basic results, the Journal of Symbolic Logic, vol.57 (1992), pp.1377--1402.
- A.V. Chagrov and M.V. Zakharyaschev, The undecidability
of the disjunction property of propositional logics and
other related problems, the Journal of Symbolic Logic, vol.58 (1993),
pp.967--1002.
- M.V. Zakharyaschev, A new solution to a problem of T. Hosoi and H.
Ono, Notre Dame Journal of Formal Logic, vol.35 (1994), pp.450--457.
- M.V. Zakharyaschev and A.Alekseev, All finitely axiomatizable
normal extensions of K4.3 are decidable, Mathematical Logic
Quarterly, vol.41 (1995), pp.15--23.
- A.V. Chagrov and M.V. Zakharyaschev, On the independent
axiomatizability of modal and intermediate logics, Journal of Logic and
Computation, vol.5 (1995), pp.287--302.
- M.V. Zakharyaschev, Canonical formulas for K4. Part II:
Cofinal subframe logics, the Journal of Symbolic Logic, vol.60 (1996),
pp.??--??.
- M.V. Zakharyaschev, Canonical formulas for modal and
superintuitionistic logics: a short outline, in: Advances in Modal Logic
(M. de Rijke, editor), Kluwer, 1996.
Profile
MSc Moscow State University 1978,
Senior Research Fellow at Institute of Applied Mathematics, Russian Academy of Sciences 1978 - ,
Postgraduate at Institute of Applied Mathematics 1981-1984,
DPhil Novosibirsk State University 1985,
Associate Professor at Moscow State University 1986 - ,
Visiting Fellow at Hiroshima University 1992 Nov - Dec,
Visiting Fellow at University of Amsterdam 1993 Oct - Nov,
Visiting Fellow at FU Berlin 1995 Jan - 1996 Jun,
Visiting Associate Professor at JAIST 1996 Jul -,
A member of Executive Committee, Advances in Modal Logic 1995 - ,
Associate editor of Studia Logica 1996 - ,
Last modified: 31 July 1996 by Hajime Ishihara
(ishihara@jaist.ac.jp).