The preservation of coherence
type: Item
instance of: scholarly article
title: The preservation of coherence
zbMATH Open document ID: 0595.03010
DOI: 10.1007/BF00935743
author: B. George
published in: Studia Logica
publication date: 1984-01-01T00:00:00Z
review text: The authors introduce axiomatically a level function \(\ell\) for sets of modal propositional formulas. In the prime example \(\ell (\Sigma)\) is the least number n, such that \(\Sigma\) may be partitioned into n consistent subsets. Furthermore, generalized frames for modal logic are introduced, where the binary accessibility relation between possible worlds is replaced by n-ary relations. The level of a frame \({\mathcal F}\) is \(\ell (\{a:\) \(\square a\) is valid in \({\mathcal F}\})\). The main result is an axiomatic characterization of the class of frames of level 1. It would have been preferable if the authors had found a way to avoid the irrelevant and unfortunate introductory remarks.
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 3957054
zbMATH Keywords: inconsistent sets
zbMATH Keywords: inference relations
zbMATH Keywords: propositional modal logic
zbMATH Keywords: level function
zbMATH Keywords: generalized frames
MaRDI profile type: Publication
cites work: Inference and necessity
cites work: Some remarks on (weakly) weak modal logics
cites work: The n-adic first-order undefinability of the Geach formula
cites work: Universal First‐Order Definability in Modal Logic
cites work: Logic for Equivocators
description: scientific article; zbMATH DE number 3957054