Justification Logics

Also see Technical Reports.

Paraconsistent Logic, Evidence, and Justification, To appear in Studia Logica.

Quasi-Realization, Submitted, 2015.

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

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

Realization using the Model Existence Theorem, Journal of Logic and Computation, 26: 213-234, 2013.

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]