arnold beckmann's pages

Deciding logics of linear Kripke frames with scattered end pieces

File: PDF-File

Author: Arnold Beckmann and Norbert Preining
Title: Deciding logics of linear Kripke frames with scattered end pieces
Journal: Soft Computing 2017, 21(1): 191-197
Year: 2017
Pages: 8
DOI: 10.1007/s00500-016-2400-y

Abstract: 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.

websites: Arnold Beckmann 2017-08-28 Valid HTML 4.01! Valid CSS!