The interpretability logic of all reasonable arithmetical theories. The new conjecture

DOI10.1023/A:1005657917054zbMath0974.03049MaRDI QIDQ1840999

Joost J. Joosten, Albert Visser

Publication date: 18 December 2001

Published in: Erkenntnis (Search for Journal in Brave)

zbMATH Keywords

interpretability logicarithmetical theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items

Bisimulations and bisimulation games between Verbrugge models, TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES, Transductions in arithmetic, Provability and interpretability logics with restricted realizations, Pairs, sets and sequences in first-order theories, The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)