Valentin Goranko

Associate Professor
Section Algorithms and Logic, Department of Informatics and Mathematical Modelling
Technical University of Denmark
E-mail: vfgo@imm.dtu.dk
Page: http://www.imm.dtu.dk/~vfgo

Fields of interest:

Mathematical logic and foundations
Logic in computer science and artificial intelligence

Recent publications:

V. Goranko and M. Otto:
Model Theory of Modal Logic,
Chapter in: P. Blackburn, J. van Benthem and F. Wolter (Eds.):
Handbook of Modal Logic, Kluwer, 2007, pp. 249-329.

P. Balbiani, V. Goranko, R. Kellerman and D. Vakarelov:
Logical Theories of Fragments of Elementary Geometry,
Chapter in: M. Aiello, J. van Benthem, and I. Pratt-Hartmann (Eds.):
Handbook of Spatial Logics, Elsevier, 2007.

V. Goranko and D. Vakarelov:
Elementary Canonical Formulae, Extending Sahlqvist Theorem,
Annals of Pure and Applied Logics, Vol. 141(1-2), (2006), pp. 180-217.

V. Goranko and G. van Drimmelen:
Decidability and Complete Axiomatization of the Alternating-time Temporal Logic,
Theoretical Computer Science, Vol. 353(1-3), (2006), pp. 93-117.

W. Conradie, V. Goranko and D. Vakarelov:
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA,
Logical Methods in Computer Science, Vol. 2(1-5), (2006), pp. 1-26.

W. Conradie, V. Goranko and D. Vakarelov:
Algorithmic correspondence and completeness in modal logic. II. Polyadic and hybrid extensions of the algorithm SQEMA,
Journal of Logic and Computation, Vol. 16, (2006), pp. 579-612.

W. Conradie, V. Goranko and D. Vakarelov:
Elementary Canonical Formulae: a survey on syntactic, algorithmic, and model-theoretic aspects,
In: Advances in Modal Logic, Vol. 5, Kings College London Publ., 2005, pp. 17-51.