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 documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
