Badia, G., Monego, R., Noguera, C., Paparella, A., Sciavicco, G., Ionel Eduard Stan, (2026). A tableau for Many-Valued Multi-Modal Logic. In A.B. Damiano Azzolini (a cura di), Proceedings of the 41st Italian Conference on Computational Logic CILC 2026, Ferrara.

A tableau for Many-Valued Multi-Modal Logic

Carles Noguera;
2026-01-01

2026
Badia, G., Monego, R., Noguera, C., Paparella, A., Sciavicco, G., Ionel Eduard Stan, (2026). A tableau for Many-Valued Multi-Modal Logic. In A.B. Damiano Azzolini (a cura di), Proceedings of the 41st Italian Conference on Computational Logic CILC 2026, Ferrara.
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/1326359
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo