Countably many sublogics of the interpretability logicILhaving fixed point properties

DOI10.1093/LOGCOM/EXAB077OpenAlexW4213305346MaRDI QIDQ5866480

Yuya Okawa

Publication date: 22 September 2022

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exab077

zbMATH Keywords

fixed point propertyprovability logicinterpretavility logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (1)

The fixed point and the Craig interpolation properties for sublogics of \textbf{IL}

This page was built for publication: Countably many sublogics of the interpretability logicILhaving fixed point properties