The main result of this paper is the following theorem: each modal logic extending K4 having the branching property below m and the effective m-drop point property is decidable with respect to ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback