The preservation of coherence

DOI10.1007/BF00935743MaRDI QIDQ1077400zbMATH OpenFDO

Authors B. George

Publication date 1984

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00935743

zbMATH Keywords

generalized framesinconsistent setsinference relationslevel functionpropositional modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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.

Recommendations

• On the axiomatization of finite K-frames
• Some characterization and preservation theorems in modal logic
• Modal sequents and definability
• General frames for relevant modal logics
• On preserving

Cites work

• Inference and necessity
• Logic for Equivocators
• Some remarks on (weakly) weak modal logics
• The n-adic first-order undefinability of the Geach formula
• Universal First‐Order Definability in Modal Logic

Cited in

(14)

• Inconsistency without contradiction
• Temporally coherent conservative visibility
• On the completeness of first degree weakly aggregative modal logics
• Preserving coarse properties
• Preservation of complete Baireness
• COHERENCE
• In defence of dialetheism: a reply to Beziau and Tkaczyk
• The development and application of a knowledge modelling technique
• A solution to the completeness problem for weakly aggregative modal logic
• FDE: a logic of clutters
• Coherent adequate forcing and preserving CH
• An evidence logic perspective on Schotch-Jennings forcing
• Searching for deep disagreement in logic: the case of dialetheism
• Suszko's thesis, inferential many-valuedness, and the notion of a logical system

This page was built for publication: The preservation of coherence

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