Remarks about the unification types of some locally tabular normal modal logics
From MaRDI portal
Publication:5877709
DOI10.1093/jigpal/jzab033MaRDI QIDQ5877709
Philippe Balbiani, Tinko Tinchev, Çiğdem Gencer, Maryam Rostamigiv
Publication date: 16 February 2023
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzab033
unification types; normal modal logics \(\mathbf{K}+\square^d\bot\) and \(\mathbf{Alt}_1+\square^d\bot\)