Undecidable properties of extensions of the logic of provability (Q757339)

The author studies problems of effectively recognizing a number of properties of modal propositional logics extending modal provability logic GL. By using a specific technique of Minski machines, the author proves that properties such as: a) to have the finite model property, b) to be decidable, c) to have the interpolation property, d) to have the disjunction property, and some others, are undecidable for modal logics \(\lambda\), with \(\lambda\supseteq GL\).