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

Open Webpage

Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev

Published: 2023, Last Modified: 31 Jul 2025Log. J. IGPL 2023EveryoneRevisionsBibTeXCC BY-SA 4.0