Montagna, F., Ono, H. (2002). Kripke completeness, undecidability and standard completeness for Esteva and Godo's logic MTLforall. STUDIA LOGICA, 71, 227-245.
Kripke completeness, undecidability and standard completeness for Esteva and Godo's logic MTLforall
MONTAGNA, FRANCO;
2002-01-01
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/17168
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo