Philosophical logic

Russell's paradox, Goedel's theorem, in Raymond Smullyan on Self Reference. Edited by Melvin Fitting and Brian Rayman. Vol. 14. Outstanding Contributions to Logic. Springer, 2017, pp. 47-66.

On Height and Happiness, in Rohit Parikh on Logic, Language and Society, Springer Outstanding Contributions to Logic, C. Baskent, L. Moss, R. Ramanujam editors, pages 235-258, 2017.

Epistemic Logic, chapter 8 in Epistemic Logic, 5 Questions, Vincent Hendricks and Olivier Roy editors, pp 83-92, Automatic Press, 2011.

How True It is = Who Says It's True, Studia Logica, 91:335--366, 2009. Electronic version at

FOIL Axiomatized, Studia Logica, 84:1--22, 2006. Electronic version at There is a correction, available here.

Intensional Logic, Stanford Encyclopedia of Philosophy. Encyclopedia is on-line at, Edward N. Zalta, editor, 2006, revised 2011.

Bilattices are nice things, In Self-Reference, pages 53--77, Center for the Study of Language and Information, Thomas Bolander, Vincent Hendricks, and Stig Andur Pedersen editors, 2006.

Formal Methods, 5 Questions, chapter 4 in Formal Philosophy, Vincent Hendricks and John Symons editors, pp 27--33, Automatic Press, 2005.

First-order intensional logic, Annals of Pure and Applied Logic, 127: 171--193 (2004).

Intensional Logic --- Beyond First Order, in Trends in Logic, 50 Years of Studia Logica, Vincent F. Hendricks and Jacek Malinowski editors, pp 87--108. Kluwer, 2003.

First order alethic modal logic, A Companion to Philosophical Logic, Dale Jacquette Editor, 410--421, Blackwell, 2002.

Barcan both ways, Journal of Applied Non-Classical Logics, 9: 329--344, 1999.

Herbrand's theorem for a modal logic. Logic and Foundations of Mathematics, A. Cantini, E. Casari, and P. Minari, editors, Kluwer Academic Publishers, pp 219-225, 1999.

Higher-Order Modal Logic---A Sketch, Automated Deduction in Classical and Non-Classical Logics, Springer Lecture Notes in Artificial Intelligence 1761, pp 23--38, 1998.

On quantified modal logic, Fundamenta Informaticae, 39:1-5-121,1999.

Bertrand Russell, Herbrand's Theorem, and the assignment statement,
Artificial Intelligence and Symbolic Computation, Springer Lecture Notes in Artificial Intelligence 1476, pp 14--28, 1998.

A theory of truth that prefers falsehood. Journal of Philosophical Logic , 26:477--500, 1997.

Editorial, Journal of Logic and Computation, 2: 107-110, 1992.

Modal logic should say more than it does. In Jean-Louis Lassez and Gordon Plotkin, editors, Computational Logic, Essays in Honor of Alan Robinson , pages 113--135. MIT Press, Cambridge, MA, 1991.

Bilattices and the theory of truth. Journal of Philosophical Logic , 18:225--256, 1989.

Notes on the mathematical aspects of Kripke's theory of truth. Notre Dame Journal of Formal Logic , 27:75--88, 1986.

[Go home]