About the unification types of modal logics
type: Item
instance of: scholarly article
title: About the unification types of modal logics
DOI: 10.1007/978-3-031-47921-2_7
author: Philippe Balbiani
author: Çiğdem Gencer
publication date: 2024-10-01T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 7920710
zbMATH Keywords: modal logics
zbMATH Keywords: unification types
MaRDI profile type: Publication
cites work: Unification types in Euclidean modal logics
cites work: Unification in modal and description logics
cites work: Unification in linear temporal logic LTL
cites work: Remarks about the unification type of several non-symmetric non-transitive modal logics
cites work: KD is nullary
cites work: About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
cites work: About the unification type of \(\mathbf{K}+\square \square \bot\)
cites work: Remarks about the unification types of some locally tabular normal modal logics
cites work: Q4636029
cites work: Q5869521
cites work: Extendible formulas in two variables in intuitionistic logic
cites work: Modal logic
cites work: Q3128959
cites work: Q4438092
cites work: Q5460166
cites work: Q3518429
cites work: Q5411485
cites work: Projective unification in modal logic
cites work: What is an inference rule?
cites work: Q5501723
cites work: Unifiability in extensions of K4
cites work: Unification through projectivity
cites work: Unification in intuitionistic logic
cites work: Best solving modal equations
cites work: Filtering unification and most general unifiers in modal logic
cites work: Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
cites work: A syntactic approach to unification in transitive reflexive modal logics
cites work: Blending margins: the modal logic K has nullary unification type
cites work: Q3837730
cites work: Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
cites work: Projective unification in transitive modal logics
cites work: Tools and techniques in modal logic
cites work: Some embedding theorems for modal logic
cites work: Boolean unification - the story so far
cites work: The decidability of normal K5 logics
cites work: The extensions of the modal logic K5
cites work: The deducibilities of S5
cites work: Admissibility of logical inference rules
cites work: Q4489067
cites work: Non-genuine MacIntosh logics
cites work: Q5690146
description: scientific article; zbMATH DE number 7920710