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. © 1998 by the University of Notre Dame. All rights reserved.
Bellissima, F., Cittadini, S. (1998). Duality and completeness for US-logics. NOTRE DAME JOURNAL OF FORMAL LOGIC, 39(2), 231-242 [10.1305/ndjfl/1039293065].
Duality and completeness for US-logics
Bellissima F.;Cittadini S.
1998-01-01
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. © 1998 by the University of Notre Dame. All rights reserved.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/25082
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo