Modal logics with several operators and probability interpretations

DOI10.1007/BF02764872MaRDI QIDQ579232zbMATH OpenFDO

Authors Tim Carlson

Publication date 1986

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

decidabilityKripke-style semanticsn-modal logics of provabilitysequence of extentions of Peano Arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07) First-order arithmetic and fragments (03F30)

Review text

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)\).

Recommendations

• On bimodal logics of provability
• scientific article; zbMATH DE number 1215499
• scientific article; zbMATH DE number 4195937
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• scientific article; zbMATH DE number 3963790

Cites work

• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• One hundred and two problems in mathematical logic
• Provability interpretations of modal logic
• Solution of a problem of Leon Henkin

Cited in

(16)

• Independent numerations of theories and recursive progressions
• Rosser and Mostowski sentences
• On bimodal logics of provability
• Sequent logic of arithmetic decidability
• Undecidability of a second-order provability logic with operation of comparison of witnesses
• Expressiveness of probabilistic modal logics: a gradual approach
• Franco Montagna's work on provability logic and many-valued logic
• On first-order theories with provability operator
• Some considerations on the logics P_FD A logic combining modality and probability
• Bimodal logics for extensions of arithmetical theories
• Probability as a modal operator: the possibilities of its combination with other modalities
• scientific article; zbMATH DE number 7204557 (Why is no real title available?)
• scientific article; zbMATH DE number 4195937 (Why is no real title available?)
• scientific article; zbMATH DE number 4189694 (Why is no real title available?)
• The modal logic of pure provability
• Provability logics for natural Turing progressions of arithmetical theories

This page was built for publication: Modal logics with several operators and probability interpretations

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