Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U‐logics without Kripke frames, and that each U‐logic whose class of order does not have the finite frame property. Copyright © 1992 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim
Bellissima, F., Ciupi, A. (1992). On the Unadequacy of the relational semantic for the "Until" operator. ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 38(1), 247-252 [10.1002/malq.19920380120].
On the Unadequacy of the relational semantic for the "Until" operator
Bellissima F.;
1992-01-01
Abstract
Modal logics with the binary operator Until are considered. It is shown that there exists a continuum of consistent U‐logics without Kripke frames, and that each U‐logic whose class of order does not have the finite frame property. Copyright © 1992 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/31091
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo