Investigations on Fragments of First Order Branching Temporal Logic

DOI<51::AID-MALQ51>3.0.CO;2-S 10.1002/1521-3870(200201)48:1<51::AID-MALQ51>3.0.CO;2-SzbMath1002.03016OpenAlexW2050125564MaRDI QIDQ2776809

G. Michele Pinna, Franco Montagna, Elisa B. P. Tiezzi

Publication date: 7 January 2003

Full work available at URL: https://doi.org/10.1002/1521-3870(200201)48:1<51::aid-malq51>3.0.co;2-s

zbMATH Keywords

axiomatizationfirst-order branching temporal logicFOCTL

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items

Obituary: Franco Montagna (1948--2015)

Cites Work

• Unnamed Item
• Unnamed Item