Switch to: References

Citations of:

Remarks about the unification types of some locally tabular normal modal logics

Philippe Balbiani, ÇiĞdem Gencer, Maryam Rostamigiv & Tinko Tinchev

Logic Journal of the IGPL 31 (1):115-139 (2023)

Add citations

You must login to add citations.

Unification types in Euclidean modal logics.Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani & Mojtaba Mojtahedi - forthcoming - Logic Journal of the IGPL.details We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$. Modal and Intensional Logic in Logic and Philosophy of Logic Direct download (2 more) Export citation Bookmark

1