Elisa B. P. Tiezzi

Learn More
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. Mathematics Subject Classification: 03B45, 03B25, 03B70.
This paper demonstrates how the results from different methods can be interpreted on the basis of a statistical approach that can help find new hints in the evaluation of sustainability at the territorial level. The SPIn-Eco Project for the Province of Siena (Italy) is an example of an environmental sustainability assessment of an area using methods that(More)
  • 1