Philosophical logic

FOIL Axiomatized, Studia Logica, 84:1--22, 2006. Electronic version at http://dx.doi.org/10.1007/s11225-006-9000-2. There is a correction, available here.

Intensional Logic, Stanford Encyclopedia of Philosophy. Encyclopedia is on-line at http://plato.stanford.edu/, Edward N. Zalta, editor, 2006.

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, 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).

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.

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]