Dr Ian Pratt-Hartmann

Senior Lecturer

Full contact details
View graph of relations


Ian Pratt-Hartmann read Mathematics and Philosophy at Brasenose College, Oxford, and Philosophy at Princeton University, receiving his PhD. there in 1987.

Dr. Pratt-Hartmann has published extensively in the areas of logic, cognitive science and artificial intelligence. Scientific journals in which his articles appear includeJournal of Symbolic Logic, Bulletin of Symbolic Logic, Journal of Philosophical Logic,Notre Dame Journal of Formal Logic, Journal of Logic, Language and Information,Journal of Logic and Computation and Artificial Intelligence. His current research interests include the complexity of decidable fragments of logic, the relationship between logic and geometry, and the relationship between natural language and logic. He is a member of the editorial board of the Journal of Logic, Language and Information, and one of the editors of the Handbook of Spatial Logic.

External positions

Profesor Zwyczajny, Uniwersytet Opolski

28 Sep 2017 → …

Areas of expertise

Education / academic qualifications

  • 1987 - Doctor of Philosophy, Epistemology and Artificial Intelligence, Princeton University

Related information


Research output: Contribution to journalArticlepeer-review

Research output: Contribution to conferencePaperpeer-review

Research output: Chapter in Book/Report/Conference proceedingChapter

View all (68)