Verification logic: An arithmetical interpretation for negative introspection (bibtex)
by Juan P. Aguilera, David Fernández-Duque
Reference:
Verification logic: An arithmetical interpretation for negative introspectionJuan P. Aguilera, David Fernández-DuqueAdvances in Modal Logic 11, proceedings of the 11th conference on "Advances in Modal Logic," held in Budapest, Hungary, August 30 - September 2, 2016 (Lev D. Beklemishev, Stéphane Demri, András Maté, eds.), pages 1–20, 2016, College Publications.
Bibtex Entry:
@inproceedings{DBLP:conf/aiml/AguileraF16,
  author    = {Juan P. Aguilera and
               David Fern{\'{a}}ndez{-}Duque},
  editor    = {Lev D. Beklemishev and
               St{\'{e}}phane Demri and
               Andr{\'{a}}s Mat{\'{e}}},
  title     = {Verification logic: An arithmetical interpretation for negative introspection},
  booktitle = {Advances in Modal Logic 11, proceedings of the 11th conference on
               "Advances in Modal Logic," held in Budapest, Hungary, August 30 -
               September 2, 2016},
  pages     = {1--20},
  publisher = {College Publications},
  year      = {2016},
  url       = {http://www.aiml.net/volumes/volume11/Aguilera-FernandezDuque.pdf},
}
Powered by bibtexbrowser