Modal logics with several operators and probability interpretations

DOI10.1007/BF02764872zbMATH Open0625.03007MaRDI QIDQ579232FDOQ579232

Tim Carlson

Publication date: 1986

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

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

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)

Cites Work

• Title not available (Why is that?)
• 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
• Bimodal logics for extensions of arithmetical theories
• Rosser and Mostowski sentences
• Undecidability of a second-order provability logic with operation of comparison of witnesses
• Franco Montagna's work on provability logic and many-valued logic
• 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
• Title not available (Why is that?)
• The modal logic of pure provability
• Title not available (Why is that?)
• 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)