Projective unification in modal logic
type: Item
instance of: scholarly article
title: Projective unification in modal logic
zbMATH Open document ID: 1260.03041
author: Wojciech Dzik
author: Piotr Wojtylak
publication date: 2012-08-01T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 6062910
zbMATH Keywords: unification
zbMATH Keywords: projective unifier
zbMATH Keywords: modal logics
zbMATH Keywords: structural completeness
MaRDI profile type: Publication
full work available at URL: jzr028
OpenAlex ID: W2154755287
DOI: 10.1093/JIGPAL/JZR028
published in: Logic Journal of the IGPL
Recommended article: Projective unification in transitive modal logics
Recommended article: Projective unification in weakly transitive and weakly symmetric modal logics
Recommended article: Unification in modal logic
Recommended article: Q4636029
Recommended article: Unification in first-order transitive modal logic
Recommended article: Modal consequence relations extending S4.3: an application of projective unification
Recommended article: Unifying quantified modal logic
Recommended article: Unification in modal and description logics
Recommended article: Unification types in Euclidean modal logics
Recommended article: Q4936636
description: scientific article; zbMATH DE number 6062910