On Halldén completeness of modal logics determined by homogeneous Kripke frames
type: Item
instance of: scholarly article
zbMATH Open document ID: 1360.03067
DOI: 10.18778/0138-0680.44.3.4.02
author: Zofia Kostrzycka
published in: Bulletin of the Section of Logic
publication date: 2016-05-31T00:00:00Z
full work available at URL: 44 34 2.pdf
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6587815
zbMATH Keywords: Halldén completeness
zbMATH Keywords: homogeneous frames
zbMATH Keywords: circular Kripke frames
MaRDI profile type: Publication
OpenAlex ID: W2344167668
title: On Halldén completeness of modal logics determined by homogeneous Kripke frames
review text: A set of propositional modal formulas \(L\) is \textit{Halldén complete} iff for all members \(\varphi\) and \(\psi\) of \(L\) with no common propositional variables, if \(\varphi\vee\psi\in L\) then \(\varphi\in L\) or \(\psi\in L\). After listing a few known results, the author announces that he will give a semantic method for constructing Halldén complete modal logics, with tools borrowed from \textit{J. F. A. K. van Benthem} and \textit{I. L. Humberstone} [Notre Dame J. Formal Logic 24, 426--430 (1983; Zbl 0487.03008)] and \textit{E. J. Lemmon} [Notre Dame J. Formal Logic 7, 296--300 (1966; Zbl 0192.03202)]. It is difficult to summarise the many results in this paper, but here is a selection of some of the main ones. The statement of the first selected result involves the following notation and notions. {\parindent=0.7cm\begin{itemize}\item[--] Given a class \(\mathcal K\) of Kripke frames, \(L({\mathcal K})\) denotes the set of all formulas that are true in all members of \(\mathcal K\). \item[--] Let \({\mathfrak F}_1 = \langle W_1,R_1\rangle\) and \({\mathfrak F}_2 = \langle W_2,R_2\rangle\) be two Kripke frames. A map \(f: W_1\rightarrow W_2\) is a \textit{\(p\)-morphism} from \({\mathfrak F}_1\) to \({\mathfrak F}_2\) iff: {\parindent=0.9cm \begin{itemize}\item[{\(\bullet\)}] \(f\) maps \(W_1\) onto \(W_2\), \item[{\(\bullet\)}] for all \(x, y\in W_1\), \(x R_1 y\) implies \(f(x)R_2f(y)\), and \item[{\(\bullet\)}] for all \(x\in W_1\) and \(a\in W_2\), if \(f(x)R_2 a\) then there exists \(y\in W_1\) with \(xR_1 y\) and \(f(y) = a\). NEWLINENEWLINE\end{itemize}} \item[--] A Kripke frame \({\mathfrak F} = \langle W,R\rangle\) is \textit{homogeneous} iff for all \(x, y\in W\), there exists an automorphism \(f\) of \(\langle W,R\rangle\) with \(f(x) = y\). NEWLINENEWLINE\end{itemize}}NEWLINENEWLINEThe first selected result is then the following.NEWLINENEWLINELet \({\mathfrak F} = \langle W,R\rangle\) be a \(\mathrm{KTB}\)-Kripke frame (which is finite and conne…
reviewed by: Éric Martin
description: scientific article; zbMATH DE number 6587815