A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI
Article in Annals of Pure and Applied Logic (July 2024)
The most recent citing publications are shown below. View all 587 publications that cite this research output on Dimensions.
Article in Annals of Pure and Applied Logic (July 2024)
Article in Siberian Advances in Mathematics (May 2024)
Book chapter (February 2024)