The principles of interpretability
From MaRDI portal
Publication:5937854
DOI10.1305/ndjfl/1038949538zbMath0972.03059OpenAlexW1971472911MaRDI 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 arithmeticinterpretability logicprinciple of interpretabilityprovability logicVeltman semantics
Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Bisimulations between Verbrugge models and Veltman models ⋮ INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS ⋮ Filtrations of generalized Veltman models
Cites Work