The preservation of coherence (Q1077400)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The preservation of coherence
scientific article

    Statements

    The preservation of coherence (English)
    0 references
    0 references
    1984
    0 references
    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.
    0 references
    inconsistent sets
    0 references
    inference relations
    0 references
    propositional modal logic
    0 references
    level function
    0 references
    generalized frames
    0 references

    Identifiers