Some independence results in interpretability logic

DOI10.1007/BF00370385zbMath0728.03016OpenAlexW1980818842MaRDI QIDQ804562

Vítězslav Švejdar

Publication date: 1991

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370385

zbMATH Keywords

provability logicKripke-style semanticsextensions of interpretability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Bisimulations and bisimulation games between Verbrugge models, The principles of interpretability

Cites Work

• A note on the normal form of closed formulas of interpretability logic
• Arithmetization of metamathematics in a general setting
• Modal analysis of generalized rosser sentences
• Unnamed Item