We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Investigations on Fragments of First Order Branching Temporal Logic.
- Authors
Montagna, Franco; Pinna, G. Michele; Tiezzi, Elisa B. P.
- 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.
- Subjects
MATHEMATICAL models; LOGIC; AXIOMS; MATHEMATICS; MATHEMATICAL logic; COMPUTATIONAL complexity
- Publication
Mathematical Logic Quarterly, 2002, Vol 48, Issue 1, p51
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/1521-3870(200201)48:1<51::AID-MALQ51>3.0.CO;2-S