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]