A course on bimodal provability logic

DOI10.1016/0168-0072(93)E0079-4zbMath0828.03008WikidataQ128036853 ScholiaQ128036853MaRDI QIDQ1891253

Albert Visser

Publication date: 18 December 1995

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicmodelsframesbimodal logicarithmetical completeness\(\omega\)-tailslogics for subsystems of Peano arithmeticprovability logics with reflection

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Related Items

The structure of lattices of subframe logics ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ Bimodal logics for extensions of arithmetical theories ⋮ Rules and arithmetics

Cites Work

• Unnamed Item
• On the complexity of arithmetical interpretations of modal formulae
• Self-reference and modal logic
• Provability interpretations of modal logic
• Partially Conservative Extensions of Arithmetic
• Modal analysis of generalized rosser sentences
• Provability in finite subtheories of PA and relative interpretability: a modal investigation