Variations on the Kripke trick

DOI10.1007/S11225-023-10093-YMaRDI QIDQ7026936zbMATH OpenFDO

Authors Mikhail Rybakov, Dmitry Shkatov

Publication date 17 February 2025

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

decidabilityundecidabilitypredicate modal logicpredicate superintuitionistic logicKripke trick

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Variations on the Kripke trick

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