P. Blackburn and J. van Benthem. Handbook of Modal Logic, chapter Modal Logic: A Semantic Perspective. Volume 3 of Blackburn et al. [2], 2007.
P. Blackburn, J. van Benthem, and F. Wolter, editors. Handbook of Modal Logic, volume 3 of Studies in Logic and Practical Reasoning. Elsevier, 2007.
A. Chuvakin Beautiful Security: Leading Security Experts Explain How They Think chapter Beautiful Log Handling 2009 OÊReilly
K.L. Clark Logic and Databases chapter Negation As Failure 1978 Plenum Press
A. Chagrov, and M. Zakharyashchev The disjunction property of intermediate propositional logics Studia Logica 50 2 1991
B.A. Davey, and H.A. Priestley Introduction to Lattices and Order 2002 Cambridge University Press 1990
S. Feferman The Number Systems: Foundations of Algebra and Analysis second edition 1989 AMS Chelsea Publishing 1964 Reprinted by the American Mathematical Society, 2003
R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi Reasoning about Knowledge 1995 MIT Press
M. Fitting. Handbook of Modal Logic, chapter Modal Proof Theory. Volume 3 of Blackburn et al. [2], 2007.
M. Fitting Incompleteness in the Land of Sets Studies in Logic. College Publications vol. 5 2007
T. Franzén GödelÊs Theorem: An Incomplete Guide To Its Use and Abuse 2005 A K Peters, Ltd.
D.M. Gabbay, editor. What Is a Logical System? Number 4 in Studies in Logic and Computation. Oxford University Press, 1995.
V. Goranko and M. Otto, Handbook of Modal Logic, chapter Model Theory of Modal Logic. Volume 3 of Blackburn et al. [2], 2007.
V.F. Hendricks and O. Roy, eds, Epistemic Logic: 5 Questions. Automatic Press, 2010.
S. Kramer, and A. Rybalchenko A multi-modal framework for achieving accountability in multi-agent systems Proceedings of the ESSLLI-affiliated Workshop on Logics in Security 2010 http://www.simon-kramer.ch/papers/ESSLLI-10- proceedings.pdf
S. Kramer, and P.Y.A. Ryan A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems Proceedings of the RE-affiliated Workshop on Requirements Engineering for Electronic Voting Systems 2011 IEEE http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6045911
S. Kramer, A logic of interactive proofs (formal theory of knowledge transfer), Technical Report, 2012, 1201.3667, arXiv, http://arxiv.org/abs/1201. 3667.
S. Kramer, Logic of negation-complete interactive proofs (formal theory of epistemic deciders), Technical Report, 2012, 1208.5913, arXiv, http://arxiv.org/abs/1208.5913.
S. Kramer, Logic of non-monotonic interactive proofs (formal theory of temporary knowledge transfer), Technical Report, 2012, 1208.1842, arXiv, http://arxiv.org/abs/1208.1842.
S. Kramer Logic of non-monotonic interactive proofs Proceedings of ICLA LNCS vol. 7750 2013 Springer http://link.springer.com/chapter/10.1007/978-3-642- 36039-8-16
C.E. Landwehr A national goal for cyberspace: Create an open, accountable Internet IEEE Security & Privacy 7 3 2009
R. Lassaigne, and M. de Rougemont. Logic and Complexity 2004 Springer
Y. Moschovakis Notes on Set Theory 2nd edition 2006 Springer
J.-J. Meyer and F. Veltman, Handbook of Modal Logic, chapter Intelligent Agents and Common Sense Reasoning. Volume 3 of Blackburn et al. [2], 2007.
R. Parikh Monotonic and non-monotonic logics of knowledge Fundamenta Informaticae 15 3-4 1991
E. Pacuit, and R. Parikh Interactive Computation: The New Paradigm, chapter Social Interaction, Knowledge, and Social Software 2006 Springer
R. Reiter Logic and Databases, chapter On Closed World Databases 1978 Plenum Press
P. Taylor Practical Foundations of Mathematics 1999 Cambridge University Press
A.S. Troelstra Handbook of Proof Theory Studies in Logic and the Foundations of Mathematics, chapter Realizability vol. 137 1998 Elsevier
Constructivism in Mathematics - An Introduction, in: A.S. Troelstra, D. van Dalen eds, Studies in Logic and the Foundations of Mathematics, chapter Logic, Vol. 121, Elsevier, 1988.
Y. Venema. Handbook of Modal Logic, chapter Algebras and Coalgebras. Volume 3 of Blackburn et al. [2], 2007.
