Algorithmic properties of QK4.3 and QS4.3

07/06/2023

∙

by   M. Rybakov, et al.

∙

0

∙

share

We prove that predicate modal logics QK4.3 and QS4.3 are undecidable in languages with two individual variables, one modandic predicate letter, and one proposition letter.