No photo of Ian Pratt-Hartmann

Ian Pratt-Hartmann


Personal profile


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.

Research interests

Dr. Pratt-Hartmann's research interests range widely over the fields of logic, AI and cognitive science. He is chiefly concerned with issues at the interface(s) between logic and complexity theory, logic and geometry, and logic and natural lanaguage.

My group


PhDs Supervised to Completion:

Current PhD Opportunities

Students interested in supervision in any of my active research areas should apply to the School of Computer Science in the normal way, mentioning my name as a possible supervisor on the application form. Informal enquiries may be sent directly to me by email.

Active areas:

  • Computational logic
  • Logic and geometry
  • Logic and natural language

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 3 - Good Health and Well-being

Education/Academic qualification

Doctor of Philosophy, Epistemology and Artificial Intelligence, Princeton University

Award Date: 1 Jun 1987

External positions

Profesor Zwyczajny, Uniwersytet Opolski

28 Sept 2017 → …

Areas of expertise

  • QA75 Electronic computers. Computer science
  • Mathematical Logic
  • Theoretical Linguistics
  • Complexity Theory

Research Beacons, Institutes and Platforms

  • Digital Futures


Dive into the research topics where Ian Pratt-Hartmann is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or