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

DOI10.1093/JIGPAL/JZAB033OpenAlexW4205855313MaRDI QIDQ5877709FDOQ5877709

Tinko Tinchev, Maryam Rostamigiv, Philippe Balbiani, Çiğdem Gencer

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

Recommendations

• Unification types in Euclidean modal logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• scientific article; zbMATH DE number 7599937
• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
• Publication:4489067

zbMATH Keywords

unification typesnormal modal logics \(\mathbf{K}+\square^d\bot\) and \(\mathbf{Alt}_1+\square^d\bot\)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• About the unification types of modal logics
• Transparent unifiers in modal logics with self-conjugate operators
• Title not available (Why is that?)
• Unification types in Euclidean modal logics
• Unifiability in extensions of K4

This page was built for publication: Remarks about the unification types of some locally tabular normal modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5877709)