Justification Logics

Also see Technical Reports.

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* (online), 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]