Back to publication index

Publications of Michael Zakharyaschev
Journal Articles and Chapters
  1. Oliver Kutz, Carsten Lutz, Frank Wolter, and Michael Zakharyaschev. eta-connections of abstract description systems. Artificial Intelligence, 156(1):1--73, 2004.
    Note: TY - JOUR.
    Keywords: epistemic logic, agent programming languages, honours reading, modal logic. [download paper ] [bibtex-entry]


Tehnical Reports
  1. D. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. MANY-DIMENSIONAL MODAL LOGICS: THEORY AND APPLICATIONS. Unpublished book January 2003, Department of Computer Science, King's College, 2003.
    Note: Unpublished book.
    Keywords: model theory, modal logic, epistemic logic, honours reading. [download paper ] [bibtex-entry]



Back to publication index



Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Bibliography last modified: Fri Aug 6 11:18:06 2010 translated from BibTEX by bibtex2html