%0 Conference Paper %1 conf/aiml/AguileraF16 %A Aguilera, Juan P. %A Fernández-Duque, David %B Advances in Modal Logic %D 2016 %E Beklemishev, Lev D. %E Demri, Stéphane %E Maté, András %I College Publications %K dblp %P 1-20 %T Verification logic: An arithmetical interpretation for negative introspection. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#AguileraF16 %@ 978-1-84890-201-5

@inproceedings{conf/aiml/AguileraF16, added-at = {2021-02-12T00:00:00.000+0100}, author = {Aguilera, Juan P. and Fernández-Duque, David}, biburl = {https://www.bibsonomy.org/bibtex/262a5819ec10deff3bf6745b961b9287d/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2016}, editor = {Beklemishev, Lev D. and Demri, Stéphane and Maté, András}, ee = {http://www.aiml.net/volumes/volume11/Aguilera-FernandezDuque.pdf}, interhash = {072252e7c35223e68bc7a5a3e4fa11e6}, intrahash = {62a5819ec10deff3bf6745b961b9287d}, isbn = {978-1-84890-201-5}, keywords = {dblp}, pages = {1-20}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:32.000+0200}, title = {Verification logic: An arithmetical interpretation for negative introspection.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2016.html#AguileraF16}, year = 2016 }