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},
}