Deciding logics of linear Kripke frames with scattered end pieces
- 94 Downloads
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.
KeywordsLinear Order Initial Segment Force Relation Finite Model Persistency Condition
Compliance with ethical standards
Conflict of interest
The authors declare that they have no conflict of interest.
- Baaz M, Iemhoff R (2005) On interpolation in existence logics. In: Logic for programming, artificial intelligence, and reasoning: 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2–6, 2005. Proceedings. Springer, Berlin, pp 697–711Google Scholar
- Scott D (1979) Identity and existence in intuitionistic logic. In: Applications of sheaves: proceedings of the research symposium on applications of sheaf theory to logic, algebra, and analysis, Durham, July 9–21, 1977. Springer, Berlin, pp 660–696Google Scholar