On tame semantics for interpretability logic

DOI10.1007/978-3-031-99536-1_12MaRDI QIDQ6876456zbMATH OpenFDO

Authors Vicent Navarro Arroyo, Joost J. Joosten

Publication date 13 January 2026

Full work available at URL https://doi.org/10.1007/978-3-031-99536-1_12

zbMATH Keywords

interpretabilty logicmodal logicrelational semantics

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A new principle in the interpretability logic of all reasonable arithmetical theories
• Bisimulations and bisimulation quotients of generalized Veltman models
• Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 218496 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• Interpretability in PRA
• On the proof of Solovay's theorem
• Provability interpretations of modal logic
• The formalization of interpretability
• The interpretability logic of all reasonable arithmetical theories. The new conjecture
• The interpretability logic of Peano arithmetic
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES

This page was built for publication: On tame semantics for interpretability logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6876456)