Effectively Constructible Fixed Points in Sacchetti’s Modal Logics of Provability
Article in Notre Dame Journal of Formal Logic (February 2022)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Article in Notre Dame Journal of Formal Logic (February 2022)
Article in ACM SIGPLAN Notices (August 2015)
Conference proceeding (August 2015)