Also see Technical Reports.
Explicit Logics of Knowledge and Conservativity, in Proceedings, Tenth International Symposium on Artificial Intelligence and Mathematics, electronic publication.
Reasoning With Justifications, forthcoming in Studia Logica.
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, forthcoming in Annals of Pure and Applied Logic.
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.
The Logic of Proofs, Semantically, Annals of Pure and Applied Logic, 132:1--25, 2005.