Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter

DOI10.1007/s11225-018-9815-7zbMath1531.03046arXiv1706.05060WikidataQ129560000 ScholiaQ129560000MaRDI QIDQ6287908

Mikhail Rybakov, Dmitry Shkatov

Publication date: 15 June 2017

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter