Andreas Blass, Yuri Gurevich. One Useful Logic That Defines Its Own Truth. In Edward Ochmanski, Jerzy Tyszkiewicz, editors, Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings. Volume 5162 of Lecture Notes in Computer Science, pages 1-15, Springer, 2008. [doi]
@inproceedings{BlassG08:0,
title = {One Useful Logic That Defines Its Own Truth},
author = {Andreas Blass and Yuri Gurevich},
year = {2008},
doi = {10.1007/978-3-540-85238-4_1},
url = {http://dx.doi.org/10.1007/978-3-540-85238-4_1},
tags = {logic},
researchr = {https://researchr.org/publication/BlassG08%3A0},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings},
editor = {Edward Ochmanski and Jerzy Tyszkiewicz},
volume = {5162},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85237-7},
}