Advanced search
Add to list

Verification logic : an arithmetical interpretation for negative introspection

Author
Organization

Citation

Please use this url to cite or link to this publication:

MLA
Aguilera Osuna, Juan Pablo, and David Fernández-Duque. “Verification Logic : an Arithmetical Interpretation for Negative Introspection.” Advances in Modal Logic, Vol. 11. Ed. Lev Beklemishev, Stéphane Demri, & András Máté. London, UK: College Publications, 2016. 1–20. Print.
APA
Aguilera Osuna, J. P., & Fernández-Duque, D. (2016). Verification logic : an arithmetical interpretation for negative introspection. In L. Beklemishev, S. Demri, & A. Máté (Eds.), Advances in modal logic, vol. 11 (pp. 1–20). Presented at the Advances in Modal Logic 2016, London, UK: College Publications.
Chicago author-date
Aguilera Osuna, Juan Pablo, and David Fernández-Duque. 2016. “Verification Logic : an Arithmetical Interpretation for Negative Introspection.” In Advances in Modal Logic, Vol. 11, ed. Lev Beklemishev, Stéphane Demri, and András Máté, 1–20. London, UK: College Publications.
Chicago author-date (all authors)
Aguilera Osuna, Juan Pablo, and David Fernández-Duque. 2016. “Verification Logic : an Arithmetical Interpretation for Negative Introspection.” In Advances in Modal Logic, Vol. 11, ed. Lev Beklemishev, Stéphane Demri, and András Máté, 1–20. London, UK: College Publications.
Vancouver
1.
Aguilera Osuna JP, Fernández-Duque D. Verification logic : an arithmetical interpretation for negative introspection. In: Beklemishev L, Demri S, Máté A, editors. Advances in modal logic, vol. 11. London, UK: College Publications; 2016. p. 1–20.
IEEE
[1]
J. P. Aguilera Osuna and D. Fernández-Duque, “Verification logic : an arithmetical interpretation for negative introspection,” in Advances in modal logic, vol. 11, Budapest, Hungary, 2016, pp. 1–20.
@inproceedings{8566422,
  author       = {Aguilera Osuna, Juan Pablo and Fernández-Duque, David},
  booktitle    = {Advances in modal logic, vol. 11},
  editor       = {Beklemishev, Lev and Demri, Stéphane and Máté, András},
  isbn         = {9781848902015},
  language     = {eng},
  location     = {Budapest, Hungary},
  pages        = {1--20},
  publisher    = {College Publications},
  title        = {Verification logic : an arithmetical interpretation for negative introspection},
  url          = {http://www.aiml.net/volumes/volume11/},
  year         = {2016},
}