Undecidability of First-Order Intuitionistic and Modal Logics with Two variables

From MaRDI portal
Publication:3370616

DOI10.2178/bsl/1122038996zbMath1096.03008OpenAlexW2057232741WikidataQ62048648 ScholiaQ62048648MaRDI QIDQ3370616

Roman Kontchakov, Agi Kurucz, Michael Zakharyashchev

Publication date: 8 February 2006

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.298.6638




Related Items (12)



Cites Work


This page was built for publication: Undecidability of First-Order Intuitionistic and Modal Logics with Two variables