Publisher
Springer International Publishing
Reference55 articles.
1. Adamowicz, Z., Bigorajska, T.: Existentially closed structures and Gödel’s second incompleteness theorem. JSL 66(1), 349–356 (2001)
2. Adamowicz, Z., Zbierski, P.: On Herbrand consistency in weak theories. Arch. Math. Log. 40(6), 399–413 (2001)
3. Artemov, S.: Explicit provablity and constructive semantics. Bull. Symb. Log. 7(1), 1–36 (2001)
4. Artemov, S.: The provability of consistency. Cornell Archives arXiv Report 1902.07404v4 (2019)
5. Artemov, S., Beklemishev, L.D.: Provability logic. In: Handbook on Philosophical Logic, 2nd edn, pp. 189-360 (2005)