%0 Conference Paper %1 conf/aiml/Beklemishev12 %A Beklemishev, Lev D. %B Advances in Modal Logic %D 2012 %E Bolander, Thomas %E Braüner, Torben %E Ghilardi, Silvio %E Moss, Lawrence S. %I College Publications %K dblp %P 89-94 %T Calibrating Provability Logic: From Modal Logic to Reflection Calculus. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2012.html#Beklemishev12 %@ 978-1-84890-068-4

@inproceedings{conf/aiml/Beklemishev12, added-at = {2020-03-12T00:00:00.000+0100}, author = {Beklemishev, Lev D.}, biburl = {https://www.bibsonomy.org/bibtex/2b5b0b74ce20ce405d40d56e4520c507b/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2012}, editor = {Bolander, Thomas and Braüner, Torben and Ghilardi, Silvio and Moss, Lawrence S.}, ee = {http://www.aiml.net/volumes/volume9/Beklemishev.pdf}, interhash = {37c4a905db5e4716ae60502310efc6fe}, intrahash = {b5b0b74ce20ce405d40d56e4520c507b}, isbn = {978-1-84890-068-4}, keywords = {dblp}, pages = {89-94}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:32.000+0200}, title = {Calibrating Provability Logic: From Modal Logic to Reflection Calculus.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2012.html#Beklemishev12}, year = 2012 }