My Publications


“Luther and the Pragmatic Corruption of Language” in C. Helmer (ed), Luther und die Philosophie (de Gruyter, 2021)
“Modal Logic in Luther’s Enslaved Will”, in C. Helmer (ed), The Medieval Luther (Mohr Siebeck 2020)
“Medieval Theories of Causation” in the Stanford Encyclopedia of Philosophy: last revised 2018, available here
Invited chapter on “Causality” in R. Cross (ed), The Routledge Companion to Medieval Philosophy (Routledge 2018)
“Dynamic Syntax and Proof Theory” in Theoretical Linguistics 43 (2017), 135–140: (a comment on R. Kempson et al, “Languages as Mechanisms for Interaction”, Theoretical Linguistics 42 (2016), pp. 203ff
(with E. Oreggia) “Because there was No User in Art: Imagining a Technological Sublime” in Proceedings of xCoax16, Universidade do Porto 2016, ISBN 978-989-746-094-4
(with I. Black) “Citizen Science, Air Quality, and the Internet of Things”, in C. Reis and M. Maximiano (eds), Internet of Things and Advanced Applications in Healthcare (IGI Global 2016), ISBN13 9781522518204, pp. 138–169
“Hardware, Software, Humans: Truth, Fiction, and Abstraction”, History and Philosophy of Logic 2015,
(with I. Black) “The Air Quality Egg: The Internet of things and Communal Sociality”, Proceedings of ISEA2015 (ed. Thorsten Lomker) pp. 205–210, (Zayed University Books, Dubai 2015)
(with K.P. Narasimhan) “Agent Clusters: The Usual versus the Unusual”, in Y. Demazeau et al. (eds), Advances in Practical Applications of Heterogeneous Multi-Agent Systems – The PAAMS Collection, Lecture Notes in Artificial Intelligence 8473 (Springer 2014), pp. 244–255
(with K.P. Narasimhan) “Look, Who’s Talking: Simulations of Agent Clusters”, in Y. Demazeau et al. (eds), Advances in Practical Applications of Heterogeneous Multi-Agent Systems – The PAAMS Collection, Lecture Notes in Artificial Intelligence 8473 (Springer 2014), pp. 375–378
(with K.P. Narasimhan) “An Agent-Based Analysis of F-Formations”, in Y. Demazeau et al. (eds), Practical Applications of Agents and Multi-Agent Systems, Lecture Notes in Artificial Intelligence 7879 (Springer 2013), pp. 239–250
“Pluralism Ignored: The Church-Turing Thesis and the Practice of Philosophy” in Arnold Beckmann, Erzsebét Czuhaj-Varjú and Klaus Meer (eds), Language, Life, Limits: Computability in Europe 2014, Springer Lecture Notes in Computer Science 8493, pp. 373–382
“Notions of Computation: Some Remarks on Fresco’s Paper”, Philosophy and Technology 26(1), 2013, pp. 61–65>
“The Frame Problem and the Semantics of Classical Proofs” in A. Voronkov (ed.), Alan Turing Centenary: The Alan Turing Centenary Conference, June 2012, pp. 415–429.
“Semantics, Hermeneutics, Statistics: Some Reflections on the Semantic Web&rdqo; in Proceedings of HCI2011, British Computer Society 2011
“Bootstrapping Normativity”, Philosophy and Technology >24(1), pp. 35ff., 2011, doi:10.1007/s13347-010-0005-4
“Descartes Among the Robots: Computer Science and the Inner/Outer Distinction”, Minds and Machines 21(2), pp. 179–202, 2011, doi:10.1007/s11023-011-9232-4
“On Scholarship: A Response to Stefik, Foster, and D’Iorio and Berbera” in Thomas Bartscherer (ed), Switching Codes (Chicago University Press 2011)
(with Ruth Kempson, Eleni Gregoromichelaki, Wilfried Meyer-Viol, Matthew Purver and Ronnie Cann) “Natural-language Syntax as Procedures for Interpretation: The Dynamics of Ellipsis Construal”, in Proceedings of the PRELUDE Workshop on Games, Dialogues and Interaction, Lecture Notes in Computer Science 6505 (Springer 2011)
“Contexts for Human Action” in Erol Gelenbe, Samson Abramsky and Vladimiro Sassone (eds), Visions of Computer Science (British Computer Society 2008), pp. 51–68
“Causality, Modality and Explanation”, Notre Dame Journal of Formal Logic 49 (2008), doi:10.1215/00294527-2008-015
“Davidson and Reiter on Actions”, Fundamenta Informaticae 84 (2008), pp 259–289
(with P. Healey, A. Light, A. Eshgi and A. Reeves) “Communication Spaces”, Computer Supported Cooperative Work 17 (2008), pp. 169–193
“The Philosophy of Programming Languages” in L. Floridi (ed), The Blackwell Guide to the Philosophy of Computing and Information (Blackwell 2003)
“Interpolation for McCain-Turner Causal Theories” in Nonmonotonic Reasoning, Action and Change 2003 (NRAC’03)
“A Generalisation of Parsons and Jennings’ Theory of Argument” in Computational Models of Natural-Language Argument (CMNA’03)
“A Modal Formulation of McCain and Turner’s Theory of Causal Reasoning”, in G. Ianni and S. Flesca (eds), Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), Lecture Notes in Computer Science 2424 (Springer 2002)
“Intensionality and Circumscription”, in S. Benferhat and E. Giunchiglia, Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning (NMR’2002) (Morgan Kaufmann 2002), pp. 372–379
“A Linear Meta-Interpreter for Reasoning about Action and Change”, Logic Journal of the IGPL 9 (2001), 669–715.
“Lewis, Causality, and Possible Worlds”, Dialectica 54 (2000), pp. 133–137.
“Simulation, Theory, and Cut Elimination”, The Monist 82 (1999), pp. 165–184.
(with J. Rowson and P. Johnson) “Cross-Contextual Reference in Human-Computer Interaction”, in D.J. Duke and A. Puerta (eds.), Design, Specification and Verification of Interactive Systems ’99 New York etc.: Springer 1999, pp. 254–261.
“Actions, Ramification and Linear Modalities”, August 1998, in Linköping Electronic Articles in Computer and Information Science 3 (1998) no 12; ISSN 1401-9841. Available from
“Ramification and Linear Logic”, IJCAI 99 Workshop on Practical Reasoning and Rationality
Articles on various later medieval philosophers (Scotus, Buridan, Nicholas of Autrecourt et al.) in T. Mautner (ed.), A Dictionary of Philosophy, Harmondsworth: Penguin 1996
“The Bounds of Axiomatisation” in Carola Eschenbach, Christopher Habel, Barry Smith (eds.), Topological Foundations of Cognitive Science: Papers from the Workshop at the First International Summer Institute in Cognitive Science, Buffalo, NY. July 9-10, 1994. Reports of the Doctoral Program in Cognitive Science, University of Hamburg, Report 37, November 1994
“Reflections on the Present Conflict”, “Husserl”, and “Heidegger” in J. Teichman and G. White (eds), Modern European Philosophy, London: Macmillan 1994.
“Computing Science and the Ideology of Artificial Intelligence” in Andrzej Bronk (ed.), Tendencies and Problems in Contemporary Philosophy (in Polish), Lublin 1994.
“Are We Finite?”, Notre Dame Journal of Formal Logic 34 (1993), 311–333.
“Ockham and Wittgenstein”, in W. Vossenkuhl, R. Schönberger (eds.), Die Gegenwart Ockhams (Weinheim 1990), pp. 165–188
“Luther’s Views on Language”, Journal of Literature and Theology 3 (1989), pp. 188–218
“Pelagianisms”, Viator 20 (1989), pp. 233–254
“Theology and Logic: the Case of Ebeling”, Modern Theology 3 (1987), pp. 211–225
“Luther on the Limits of Human Ability: Dinner-Parties and Suicide”, Neue Zeitschrift für systematische Theologie und Religionsphilosophie 29 (1987), pp. 180–194
“Ockham’s Real Distinction Between Form and Matter”, Franciscan Studies vol. 44, annual XXII (1984)
“Karl Barth’s Theological Realism”, Neue Zeitschrift für systematische Theologie und Religionsphilosophie 26 (1984), pp. 54–70.