Publisher
Springer Nature Singapore
Reference10 articles.
1. Boolos, G.: The Logic of Provability. Cambridge University Press, Cambridge (1993)
2. Iemhoff, R.: Reasoning in circles. In: van Eijck, J., Iemhoff, R., Joosten, J.J. (eds.) Liber amicorum Alberti/A Tribute to Albert Visser. Tributes, vol. 30, pp. 165–176. College Publications, London (2016)
3. Kurahashi, T.: Arithmetical soundness and completeness for $$\Sigma _2$$ numerations. Stud. Logica 106, 1181–1196 (2018). https://doi.org/10.1007/s11225-017-9782-4
4. Kurahashi, T., Okawa, Y.: Effectively constructible fixed points in Sacchetti’s modal logics of provability. https://arxiv.org/abs/1811.12827
5. Lindström, P.: Provability logic-a short introduction. Theoria 62, 19-61 (1996). https://doi.org/10.1111/j.1755-2567.1996.tb00529.x