Projective unification in transitive modal logics
type: Item
instance of: scholarly article
title: Projective unification in transitive modal logics
zbMATH Open document ID: 1492.03007
author: Sławomir Kost
published in: Logic Journal of the IGPL
publication date: 2022-08-10T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7570103
zbMATH Keywords: modal logic
zbMATH Keywords: unification
zbMATH Keywords: projective unifier
zbMATH Keywords: canonical model
MaRDI profile type: MaRDI publication profile
full work available at URL: jzy013
OpenAlex ID: W2809201413
Wikidata QID: Q129798376
DOI: 10.1093/JIGPAL/JZY013
description: scientific article; zbMATH DE number 7570103