The semantic characterization of modal logical connectives
type: Item
instance of: scholarly article
title: The semantic characterization of modal logical connectives
zbMATH Open document ID: 0628.03008
DOI: 10.1007/BF01159674
published in: Mathematical Notes
publication date: 1986-01-01T00:00:00Z
review text: Let the propositional modal connective \(c(p_ 1,...,p_ n)\) be defined in Kripke models for S4 by a first order formula in terms of the accessibility relation R, the root world 0 and unary predicates \(P_ i(x)\) for values of \(p_ i\) in a world x. Then connective c is equivalent to a propositional formula in standard language \(\neg\), \&, \(\square\) iff it is stable under elementary equivalence (of first order models), p-morphisms and restrictions to worlds accessible from any fixed world.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 4021101
zbMATH Keywords: propositional modal connective
zbMATH Keywords: Kripke models for S4
zbMATH Keywords: accessibility relation
zbMATH Keywords: root world
author: Aleksandr D. Yashin
reviewed by: G. E. Mints
MaRDI profile type: Publication
cites work: Q4128788
full work available at URL: https://doi.org/10.1007/bf01159674
OpenAlex ID: W2043549257
Recommended article: Logical connectives for constructive modal logic
Recommended article: Connected modal logics
Recommended article: Q5483018
Recommended article: Q4333374
Recommended article: Q5416156
Recommended article: Modal logics withn-ary connectives
Recommended article: Modal Boolean Connexive Logics: Semantics and Tableau Approach
Recommended article: Q4845311
Recommended article: Semantic characterization of intuitionistic logical connectives
Recommended article: Modal Logic in the Modal Sense of Modality
description: scientific article; zbMATH DE number 4021101