G. Bana, P. Adão, and H. Sakurada. Computationally Comlete Symbolic Attacker in Action. In Proceedings of the 32nd International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'12), LIPIcs, pages 546-560. Schloss Dagstuhl, 2012.
G. Bana and H. Comon-Lundh. Towards unconditional soundness: Computationally complete symbolic attacker. Available at IACR ePrint Archive, Report 2012/019.
G. Bana and H. Comon-Lundh. Towards unconditional soundness: Computationally complete symbolic attacker. In Proceedings of the 1st International Conference on Principals of Security and Trust (POST'12), LNCS, pages 189-208. Springer, 2012.
G. Bana, K. Hasebe, and M. Okada. Computationally complete symbolic attacker and key exchange. In Proceedings of the 20th ACM SIGSAC Conference on Computer and Communications Security (CCS'13), pages 1231-1246. ACM, 2013.
P. J. Cohen. Set theory and the continuum hypothis. W. A. Benjamin, Inc., New York, 1966.
A. Datta, A. Derek, J. C. Mitchell, and B.Warinschi. Computationally sound compositional logic for key exchange protocols. In Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW'06), pages 321-334. IEEE, 2006.
M. Fitting. An embedding of classical logic in s4. The Journal of Symbolic Logic, 35(4):529-534, 1970.
N. Friedman, J. Y. Halpern, and D. Koller. First-order conditional logic for default reasoning revisited. ACM Transactions on Computational Logic, 1(2):175-207, 2000.
K. Gödel. Eine interpretation des intuitionistischen aussagenkalküls. Ergebnisse eines Mathematischen Kolloquiums, 4:39-40, 1933.
K. Gödel. Zur intuitionistischen arithmetik und zahlentheorie. Ergebnisse eines Mathematischen Kolloquiums, 4:34-38, 1933.
M. Goldszmidt, P. Morris, and J. Pearl. A maximum entropy approach to nonmonotonic reasoning. IEEE Transactions on Pattern Analysis and Machine Intelligence, 15(3):220-232, March 1993.
A. N. Kolmogorov. O principe tertium non datur (russian). Matematiceskij Sbornik, 32:646-667, 1925.
H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics. Polish Scientific Publishers, 1963.
D. Scott and R. Solovay. Boolean-valued models of set theory. unpublished and circulated, 1967.
R. M. Smullyan and M. Fitting. Set Theory and the Continuum Problem. Oxford University Press, 1996. revised addition by Dover, 2006.
J. Väänänen. Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press, 2007. CSL