Justification Logics

Also see Technical Reports.

Justification Logics and Hybrid Logics, work in progress.

Possible World Semantics for First Order LP, work in progress.

The Realization Theorem for S5, a Simple, Constructive Proof, forthcoming in Second Indian Conference on Logic and its Relationship with Other Disciplines, A. Gupta and J. van Benthem editors.

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.

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.

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.

Realizations and LP, unpublished. This version incorporates an earlier accompanying note, Realizations and LP---the Algorithms.

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]