Remarks about the unification type of several non-symmetric non-transitive modal logics

DOI10.1093/JIGPAL/JZY078zbMath1494.03046OpenAlexW2912717611WikidataQ128930498 ScholiaQ128930498MaRDI QIDQ5241921

Philippe Balbiani

Publication date: 4 November 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://oatao.univ-toulouse.fr/24761/1/balbiani_24761.pdf

zbMATH Keywords

normal modal logicsunification problemnon-symmetric modal logicsnon-transitive modal logicstypes of modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\)

This page was built for publication: Remarks about the unification type of several non-symmetric non-transitive modal logics