Deciding logics of linear Kripke frames with scattered end pieces
- 67 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.
- 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
© Springer-Verlag Berlin Heidelberg 2016