Modal Logic

Modal, Fuzzy, ..., Vanilla, Fixpoint Theories of Truth: A Uniform Approach, in Saul Kripke on Modal Logic, Ed. Yale Weiss and Romina Birman. Springer Nature 2024. pp. 151-192.

De Re, De Dicto, and Binding Modalities, in Knowledge, Proof and Dynamics, Ed. Fenrong Liu, Hiroakira Ono, Junhua Yu. Singapore: Springer 2020.

Necessity and Possibility. In Introduction to Formal Philosophy, editors Sven Ove Hansson and Vincent F. Hendricks. Springer Undergraduate Texts in Philosophy. Cham, Switzerland: Springer, 2018. Chap. 15, pp. 323-331.

On Modalities and Quantifiers. Fundamenta Informaticae 156 (2017). Paper in memory of Prof. Helena Rasiowa, pp. 1-34. doi: 10.3233/FI-2017-1599.

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.

Cut-Free proof systems for Geach logics, The IfCoLog Journal of Logics and their Applications. 2(2), 17 - 64, 2015.

Modal interpolation via nested sequents, with Roman Kuznets, Annals of Pure and Applied Logic, 166:274-305, 2015.

Nested Sequents for Intuitionistic Logic, Notre Dame Journal of Formal Logic, 55(1):41-61, 2014.

Prefixed tableaus and nested sequents. Annals of Pure and Applied Logic, 163:291-313, 2012.

Proving Completeness for Nested Sequent Calculi, in Jean-Yves Beziau and Marcel Esteban Coniglio, editors, Logic Without Frontiers, Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday, pp 145-154, College Publications, 2011.

Reasoning About Games, Studia Logica. 99:143-169, 2011.

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

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.

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.

Bisimulations and Boolean Vectors, in Advances in Modal Logic 4, Philippe Balbiani, Nobu-Yuki Suzuki, and Michael Zakharyashev editors, pp 97--125, King's College Publications, 2003.

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

Modal Logics Between Propositional and First Order, Journal of Logic and Computation, 12:1017-1026, 2002.

Interpolation for First-Order S5, Journal of Symbolic Logic, 67: 621-634, 2002.

Term-Modal Logics, with Lars Thalmann and Andrei Voronkov, Studia Logica, 69:133--169, 2001.

Modality and Databases, Automated Reasoning with Analytic Tableaux and Related Methods, Springer Lecture Notes in Artificial Intelligence 1847, Roy Dyckhoff (ed), pp 19--39, 2000. Avaliable from Springer at http://dx.doi.org/10.1007/10722086_2

Term-Modal Logics, with Lars Thalmann and Andrei Voronkov, Automated Reasoning with Analytic Tableaux and Related Methods, Springer Lecture Notes in Artificial Intelligence 1847, Roy Dyckhoff (ed), pp 220--236, 2000. Available electronically from Springer at http://dx.doi.org/10.1007/10722086_19q

Databases and Higher Types, Computational Logic --- CL2000, Springer Lecture Notes in Artificial Intelligence 1861, John Lloyd et. al. (ed), pp 41--52, 2000. [© Springer-Verlag, URL: http://www.springer.de/comp/lncs/home.html]

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. [© Springer-Verlag, URL: http://www.springer.de/comp/lncs/home.html]

A simple propositional S5 tableau system, Annals of Pure and Applied Logic, 96:107--115, 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.

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.

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

LeanTaP Revisited. Journal of Logic and Computation, 8:33--47, 1998

A modal Herbrand theorem. Fundamenta Informaticae , 28:101--122, 1996.

A program to compute Gödel-Löb fixpoints. Bulletin EATCS, 58:118--130, 1996.

Tableaus for many-valued modal logic. Studia Logica , 55:63--87, 1995.

Many-valued modal logics, II. Fundamenta Informaticae , 17:55--73, 1992.