We investigate axiomatizability of various fragments of FOCTL (First Order Computational Tree Logic) 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.
Investigations on Fragments of First Order Branching Temporal Logic
PINNA, GIOVANNI MICHELE;
2002-01-01
Abstract
We investigate axiomatizability of various fragments of FOCTL (First Order Computational Tree Logic) 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 metadati presenti in IRIS UNICA sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono protetti da diritto d'autore, salvo diversa indicazione.
