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

2002
Montagna, F., Ono, H. (2002). Kripke completeness, undecidability and standard completeness for Esteva and Godo's logic MTLforall. STUDIA LOGICA, 71, 227-245.
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