An algebraic approach to canonical formulas: modal case
type: Item
instance of: scholarly article
title: An algebraic approach to canonical formulas: modal case
zbMATH Open document ID: 1250.03124
author: Guram Bezhanishvili
author: Nick Bezhanishvili
published in: Studia Logica
publication date: 2011-11-23T00:00:00Z
review text: The authors generalize the result that the category MA of modal algebras and modal homomorphisms is dually equivalent to the category MS of modal spaces and continuous \(p\)-morphisms to the following result: Theorem 3.4: MA\(^R\) is dually equivalent to MS\(^P\). Here MA\(^R\)is the category of modal algebras and relativized modal algebra homomorphisms, and MS\(^P\) is the category of modal spaces and partial continuous \(p\)-morphisms. For a modal algebra \((A, \wedge, \vee, \neg, \diamond, 0,1)\) and \(s\in A\), \(A_s\) is defined by \(A_s = [0,s]=\{ x\in A\,|\,0\leq x\leq s\}\), and the operations on \(A_s\) are defined as follows:{\parindent=8mm \begin{itemize}\item[1)] \(x\wedge_s y = x\wedge y\) \item[2)] \(x\vee_s y = x\vee y\) \item[3)] \(0_s = 0\) \text{and} \ \(1_s = s\) \item[4)] \(\neg_s x = \neg x \wedge s\) \item[5)] \(\diamond_s x= s \wedge \diamond x\) \end{itemize}} \(A_s\) is called a relativization of \(A\) to \(s\). For modal algebras \(A,B\) and a map \(\eta : A\to B\), \(\eta\) is called a relativized modal algebra homomorphism if it is a modal algebra homomorphism from \(A\) to the relativized modal algebra \(B_{\eta(1)}\). For Stone spaces \(X\) and \(Y\), a partial map \(f:X\to Y\) is called a partial continuous map if dom(\(f\)) is a clopen subset of \(X\) and \(f\) is a continuous map from dom(\(f\)) to \(Y\). Let \((X,R)\) and \((Y,Q)\) be modal spaces and \(f:X\to Y\) be a partial map. Then \(f\) is called a partial continuous \(p\)-morphism if: 1. \(x,z\in \text{dom}(f)\) and \(xRz\) imply \(f(x)Qf(z)\); 2. \(x\in \text{dom}(f)\) and \(f(x)Qy\) imply that there exists \(z\in \text{dom}(f)\) such that \(xRz\) and \(f(z)=y\). Moreover, by considering MA as the transitive case K4 of modal algebra, they give a new algebraic proof of Zakharyashev's theorem that each logic over K4 is axiomatizable by canonical frames.
reviewed by: Michiro Kondo
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5977619
zbMATH Keywords: modal logic
zbMATH Keywords: duality theory
zbMATH Keywords: relativization
MaRDI profile type: Publication
full work available at URL: s11225-011-9348-9
OpenAlex ID: W2007326500
cites work: AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
cites work: An algebraic approach to subframe logics. Intuitionistic case
cites work: An algebraic approach to subframe logics. Modal case
cites work: Q3128959
cites work: Q3735758
cites work: An ascending chain of S4 logics
cites work: Logics containing K4. Part II
cites work: Q5595146
cites work: Tools and techniques in modal logic
cites work: Splitting lattices of logics
cites work: Q4065518
cites work: Canonical formulas for K4. Part I: Basic results
cites work: Canonical formulas for K4. Part II: Cofinal subframe logics
DOI: 10.1007/S11225-011-9348-9
description: scientific article; zbMATH DE number 5977619