Unification types and union splittings in intermediate logics
type: Item
instance of: scholarly article
title: Unification types and union splittings in intermediate logics
author: Wojciech Dzik
author: Sławomir Kost
author: Piotr Wojtylak
published in: Annals of Pure and Applied Logic
publication date: 2024-10-07T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7921875
zbMATH Keywords: unification types
zbMATH Keywords: locally tabular intermediate logics
zbMATH Keywords: Kripke models
zbMATH Keywords: splittings
MaRDI profile type: Publication
cites work: Unification in modal and description logics
cites work: Unification theory
cites work: Q3128959
cites work: Q3772270
cites work: HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS
cites work: Q5393803
cites work: Q3518429
cites work: Projective unification in modal logic
cites work: Modal consequence relations extending S4.3: an application of projective unification
cites work: UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
cites work: Finitary unification in locally tabular modal logics characterized
cites work: Logics containing K4. Part II
cites work: Unification through projectivity
cites work: Unification in intuitionistic logic
cites work: Best solving modal equations
cites work: Unification, finite duality and projectivity in varieties of Heyting algebras
cites work: Filtering unification and most general unifiers in modal logic
cites work: UNIFICATION IN INTERMEDIATE LOGICS
cites work: Q5519127
cites work: Projective unification in transitive modal logics
cites work: Pretabular superintuitionistic logic
cites work: Strongly decidable properties of modal and intuitionistic calculi
cites work: Q3858239
cites work: Q5690146
cites work: Q4789450
DOI: 10.1016/J.APAL.2024.103508
description: scientific article; zbMATH DE number 7921875