The provability logic of all provability predicates
Article in Journal of Logic and Computation (September 2023)
The most recent citing publications are shown below. View all 207 publications that cite this research output on Dimensions.
Article in Journal of Logic and Computation (September 2023)
Article in Archive for Mathematical Logic (June 2023)
Article in Journal of Philosophical Logic (April 2023)