Okehampton Hospital — United Kingdom
Computer Science · Physical Sciences
23h-index3.8kcitations198works1.52yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, Reasoning, and Knowledge(43), Advanced Algebra and Logic(30), Medieval and Classical Philosophy(23), Logic, programming, and type systems(22), Computability, Logic, AI Algorithms(19)
Publications198 total
Journal of Logic and Computation·2024
Model Theory·2024· 3 citedOpen Access
Logic Journal of IGPL·2022· 1 cited
History and Philosophy of Logic·2021· 2 cited
The Review of Symbolic Logic·2021· 3 cited
DergiPark (Istanbul University)·2020Open Access
Lecture notes in computer science·2020· 3 cited
Cubo·2019· 1 citedOpen Access
al-Farabi’s Philosophy of Logic and Language
2019· 4 cited
Remark on Al-Fārābī's missing modal logic and its effect on Ibn Sīnā
PhilPapers (PhilPapers Foundation)·2019
2018
Logica Universalis·2018· 9 cited
Studies in universal logic·2018
2017· 7 cited
Cambridge University Press eBooks·2017· 4 cited
Medieval Modalities and Modern Method: Avicenna and Buridan.
FLAP·2017· 1 cited
Outstanding contributions to logic·2017· 1 cited
page 1 of 10Next →
Frequent Co-authors
Ian Hodkinson(3), Saharon Shelah(3), Jouko Väänánen(2), Ian Chiswell(2), Daniel Lascar(1), Peter J. Cameron(1), Martin Hyland(1), Charles Steinhorn(1), J. K. Truss(1), Dugald Macpherson(1), Anand Pillay(1), A. H. Lachlan(1), Thomas Scanlon(1), Ahmad Hasnawi(1), John T. Baldwin(1), Joel Berman(1), A. M. W. Glass(1), John Doner(1), David M. Evans(1), G. Graham White(1)