Abstract
The semantics of e-models for tense logics with binary operators for `until' and `since' (US-logics) was introduced by Bellissima and Bucalo in 1995. In this paper we show the adequacy of these semantics by proving a general Henkin-style completeness theorem. Moreover, we show that for these semantics there holds a Stone-like duality theorem with the algebraic structures that naturally arise from US-logics.
Citation
Fabio Bellissima. Saverio Cittadini. "Duality and Completeness for US-Logics." Notre Dame J. Formal Logic 39 (2) 231 - 242, Spring 1998. https://doi.org/10.1305/ndjfl/1039293065
Information