Justification Logics

Also see Technical Reports.

joint with Felipe Salvatore, First-order justification logic with constant domain semantics, In Journal of Logic and Computation, vol 30, pp 193-216, 2020.

A Second GL Justification Logic, In Festschrift for George Georgescu, Springer, 2020, forthcoming.

What Are Justification Logics?, Fundamenta Informaticae, 165:193-203, 2019.

Paraconsistent Logic, Evidence, and Justification, Studia Logica, 105(6):1148-1166, 2017.

Quasi-Realization, Logic, Language, and Computation, Springer Lecture Notes in Computer Science 10148, Hansen, Murray, Sadrazadeh, and Zeevat editors, 313-332, 2017.

Modal Logics, Justification Logics, and Realization, Annals of Pure and Applied Logic,, 167: 615 - 648, 2016.

Realization using the Model Existence Theorem, Journal of Logic and Computation, 26: 213-234, 2016, First published online 16 July 2013.

Possible world semantics for the first-order logic of proofs, Annals of Pure and Applied Logic, 165: 225-240, 2014.

Justification Logics and Hybrid Logics, Journal of Applied Logic 8(4):356-370, 2010.

Justification Logic, with Sergei Artemov, Stanford Encyclopedia of Philosophy. Encyclopedia is on-line at http://plato.stanford.edu/, Edward N. Zalta, editor, 2011.

The Realization Theorem for S5, a Simple, Constructive Proof, in Games, Norms and Reasons, J. van Benthem, A. Gupta and E. Pacuit editors., Chapter 4, 61-76, 2011.

Realizations and LP, in Annals of Pure and Applied Logic, 161(3):368-387, December 2009.

Reasoning With Justifications, in Towards Mathematical Philosophy in the Trends in Logic series, Springer, D. Makinson, J. Malinowski, and H. Wansing editors, 107-123, 2009.

S4LP and Local Realizability, in Proceedings Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, E. A. Hirsch, A. Razborov, A. Semenov, and A. Slissenko editors, 168-179, Springer Lecture Notes in Computer Science 5010, 2008

Justification Logics, Logics of Knowledge, and Conservativity Annals of Mathematics and Artificial Intelligence, 53:153-167, 2008.

Explicit Logics of Knowledge and Conservativity, in Proceedings, Tenth International Symposium on Artificial Intelligence and Mathematics, electronic publication.

Realizations and LP (short version), in Sergei Artemov and Anil Nerode, editors, Logical Foundations of Computer Science, Springer Lecture Notes in Computer Science 4514, pp 212--223.

A Quantified Logic of Evidence, in Annals of Pure and Applied Logic, 152:67-83, 2008.

A Quantified Logic of Evidence (short version), in Ruy de Queiroz, Angus Macintyre, and Guilherme Bittencourt, editors, WoLLIC 2005 Proceedings, Electronic Notes in Theoretical Computer Science, pp 59--70, Elsevier, 2005.

A Logic of Explicit Knowledge, in The Logica Yearbook 2004, Libor Behounek and Marta Bilkova editors, pp 11--22, Filosofia, Prague, 2005.

The Logic of Proofs, Semantically, Annals of Pure and Applied Logic, 132:1--25, 2005.

[Go home]