A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI
-
Published:2024-07
Issue:7
Volume:175
Page:103422
-
ISSN:0168-0072
-
Container-title:Annals of Pure and Applied Logic
-
language:en
-
Short-container-title:Annals of Pure and Applied Logic