Modal logics with several operators and probability interpretations (Q579232): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q392269
RedirectionBot (talk | contribs)
Changed an Item
Property / reviewed by
 
Property / reviewed by: Sergej N. Artemov / rank
 
Normal rank

Revision as of 08:40, 14 February 2024

scientific article
Language Label Description Also known as
English
Modal logics with several operators and probability interpretations
scientific article

    Statements

    Modal logics with several operators and probability interpretations (English)
    0 references
    0 references
    1986
    0 references
    The purpose of the paper is to study modal logics of provability in a sequence of extentions of Peano Arithmetic PA. The main result describes n-modal logics of provability in theories \(T_ 1,...,T_ n\) which contain PA and satisfy the following condition: \(T_ i\) contains \(Refl(T_ j)\) if \(i<j\) (Refl(T) is the schema of sentences of the form \(\Pr_ T(\ulcorner \phi \urcorner)\to \phi)\). These logics are proved to be decidable. Thus the paper proves the generalization of Smorynski's conjecture about decidability of the set of valid bimodal formulas with \(T_ 1=PA\) and \(T_ 2=ZF\). The appropriate Kripke-style semantics is developed. The paper contains an application: there is a Boolean combination of \(\Sigma_ 1\) formulas \(\phi\) such that \(PA+Con(PA)\vdash Con(PA+\phi)\) and \(PA+Con(PA)\vdash Con(PA+\neg \phi)\) while \(ZF\vdash Con(PA+Con(PA)+\phi)\) and \(ZF\vdash Con(PA+Con(PA)+\neg \phi)\).
    0 references
    sequence of extentions of Peano Arithmetic
    0 references
    n-modal logics of provability
    0 references
    decidability
    0 references
    Kripke-style semantics
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references