Modal logics with several operators and probability interpretations

DOI10.1007/BF02764872zbMath0625.03007MaRDI QIDQ579232

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) First-order arithmetic and fragments (03F30) Structure of proofs (03F07)

Related Items

On bimodal logics of provability ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ Bimodal logics for extensions of arithmetical theories ⋮ Independent numerations of theories and recursive progressions ⋮ Rosser and Mostowski sentences ⋮ Provability logics for natural Turing progressions of arithmetical theories

Cites Work

• Unnamed Item
• Provability interpretations of modal logic
• Solution of a problem of Leon Henkin
• One hundred and two problems in mathematical logic