Fernández-Duque, David; Hermo-Reyes, Eduardo Deducibility and independence in Beklemishev’s autonomous provability calculus. (English) Zbl 07540280 Inf. Comput. 287, Article ID 104758, 14 p. (2022). MSC: 03F45 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{E. Hermo-Reyes}, Inf. Comput. 287, Article ID 104758, 14 p. (2022; Zbl 07540280) Full Text: DOI arXiv
Renne, Bryan Propositional games with explicit strategies. (English) Zbl 1207.03027 Inf. Comput. 207, No. 10, 1015-1043 (2009). MSC: 03B45 03F45 91A05 91A80 PDFBibTeX XMLCite \textit{B. Renne}, Inf. Comput. 207, No. 10, 1015--1043 (2009; Zbl 1207.03027) Full Text: DOI