Localizing finite-depth Kripke models

DOI10.1093/jigpal/jzy036OpenAlexW2963986560WikidataQ129395023 ScholiaQ129395023MaRDI QIDQ5382576

Mojtaba Mojtahedi

Publication date: 18 June 2019

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

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

zbMATH Keywords

Kripke modelsintuitionistic logicfinite depthlocal truth

Mathematics Subject Classification ID

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

Related Items (1)

Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)

This page was built for publication: Localizing finite-depth Kripke models