Intuitionistic S4 is decidable
Conference proceeding (June 2023)
The most recent citing publications are shown below. View all 19 publications that cite this research output on Dimensions.
Conference proceeding (June 2023)
Preprint in arXiv (April 2023)
Article in Studia Logica (March 2023)