Modal logics with several operators and probability interpretations

DOI10.1007/BF02764872zbMATH Open0625.03007MaRDI QIDQ579232FDOQ579232

Authors Tim Carlson

Publication date 1986

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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

(15)

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

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)