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

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)

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

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)