About the unification types of modal logics

DOI10.1007/978-3-031-47921-2_7MaRDI QIDQ6612813

Could not fetch data.

Publication date: 1 October 2024

zbMATH Keywords

modal logicsunification types

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A syntactic approach to unification in transitive reflexive modal logics
• Extendible formulas in two variables in intuitionistic logic
• Unification in linear temporal logic LTL
• About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
• The deducibilities of S5
• Tools and techniques in modal logic
• Admissibility of logical inference rules
• Non-genuine MacIntosh logics
• Boolean unification - the story so far
• Best solving modal equations
• About the unification type of \(\mathbf{K}+\square \square \bot\)
• Some embedding theorems for modal logic
• Modal logic
• Unification in modal and description logics
• Projective unification in modal logic
• Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
• Blending margins: the modal logic K has nullary unification type
• Unifiability in extensions of K4
• The extensions of the modal logic K5
• The decidability of normal K5 logics
• What is an inference rule?
• Unification in intuitionistic logic
• Unification through projectivity
• KD is nullary
• Projective unification in transitive modal logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Filtering unification and most general unifiers in modal logic
• Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
• Remarks about the unification types of some locally tabular normal modal logics
• Unification types in Euclidean modal logics

This page was built for publication: About the unification types of modal logics

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