Modal Matters for Interpretability Logics

DOI10.1093/jigpal/jzn013zbMath1162.03033arXiv2004.06966OpenAlexW2018652810WikidataQ120204576 ScholiaQ120204576MaRDI QIDQ3535605

Evan Goris, Joost J. Joosten

Publication date: 13 November 2008

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2004.06966

zbMATH Keywords

modal logicinterpretability logicmodal completeness

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 (6)

Theory and application of labelling techniques for interpretability logics ⋮ Transductions in arithmetic ⋮ A short note on essentially \(\Sigma_1\) sentences ⋮ INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS ⋮ Filtrations of generalized Veltman models ⋮ Interpretability in PRA

This page was built for publication: Modal Matters for Interpretability Logics