The principles of interpretability
From MaRDI portal
Publication:5937854
DOI10.1305/ndjfl/1038949538zbMath0972.03059MaRDI QIDQ5937854
Publication date: 17 July 2001
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1038949538
interpretability in arithmetic; interpretability logic; principle of interpretability; provability logic; Veltman semantics
03B45: Modal logic (including the logic of norms)
03F45: Provability logics and related algebras (e.g., diagonalizable algebras)
Related Items
Cites Work