Browse by Person

Article

Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2004) On non-local propositional and weak monodic quantified CTL. Journal of Logic and Computation 14 (1), pp. 3-22. ISSN 0955-792X.

Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2000) Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106 (1-3), pp. 85-134. ISSN 0168-0072.

Book Section

Ghilardi, S. and Lutz, C. and Wolter, F. and Zakharyaschev, Michael (2006) Conservative extensions in modal logic. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6. College Publications, pp. 187-207. ISBN 9781904987208.

Konev, B. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, M. (2006) Dynamic topological logics over spaces with continuous functions. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6: Papers from the sixth conference on Advances in Modal Logic. College Publications, pp. 299-318.

Sheremet, Mikhail and Tishkovsky, D. and Wolter, F. and Zakharyaschev, Michael (2006) From topology to metric: modal logic and quantification in metric spaces. In: Governatori, G. and Hodkinson, I.M. and Venema, Y. (eds.) Advances in Modal Logic 6. College Publications, pp. 429-448. ISBN 9781904987208.

Hodkinson, I.M. and Kontchakov, Roman and Kurucz, A. and Wolter, F. and Zakharyaschev, Michael (2003) On the computational complexity of decidable fragments of first-order linear temporal logics. In: UNSPECIFIED (ed.) 10th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 91-98. ISBN 0769519121.

Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2002) Decidable and undecidable fragments of first-order branching temporal logics. In: UNSPECIFIED (ed.) LICS 2002: 17th IEEE Symposium on Logic in Computer Science. IEEE Computer Society, pp. 393-402. ISBN 9780769514839.

Bauer, S. and Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2002) On non-local propositional and local one-variable quantified CTL*. In: UNSPECIFIED (ed.) TIME-2002: 9th International Symposium on Temporal Representation and Reasoning. IEEE Computer Society, pp. 2-9. ISBN 978076951474X.

Hodkinson, I.M. and Wolter, F. and Zakharyaschev, Michael (2001) Monodic fragments of first-order temporal logics: 2000-2001 A.D. In: Nieuwenhuis, R. and Voronkov, A. (eds.) LPAR 2001: Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 2250. Springer, pp. 1-23. ISBN 9783540429579.

Conference or Workshop Item

Hodkinson, I.M. and Mikulas, Szabolcs (1998) Colorful reducts. In: RelMiCS: 4th International Seminar, 1998, Warsaw, Poland. (Unpublished)