Arnold Beckmann and Norbert Preining
Soft Computing 2017, 21(1): 191-197
Publication year: 2017

We show that logics based on linear Kripke frames – with or without constant domains – that have a scattered end piece are not recursively enumerable. This is done by reduction to validity in all finite classical models.

Leave a Reply

Your email address will not be published. Required fields are marked *