We investigate axiomatizability of various fragments of first order computational tree logic (FOCTL) showing that the fragments with the modal operator F (H, respectively) are non axiomatizable. These results shows that the only axiomatizable fragment is the one with the modal operator next (X) only.
Montagna, F., G. M., P., Tiezzi, E.B.P. (2002). Investigations on Fragments of First Order Branching Temporal Logic. MATHEMATICAL LOGIC QUARTERLY, 48(1), 51-62.
Investigations on Fragments of First Order Branching Temporal Logic
MONTAGNA, FRANCO;TIEZZI, ELISA BENEDETTA PRIMAVERA
2002-01-01
Abstract
We investigate axiomatizability of various fragments of first order computational tree logic (FOCTL) showing that the fragments with the modal operator F (H, respectively) are non axiomatizable. These results shows that the only axiomatizable fragment is the one with the modal operator next (X) only.
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/19394
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo