scientific article; zbMATH DE number 2080198

MaRDI QIDQ4472440zbMATH OpenFDO

Authors Salvatore La Torre, Margherita Napoli

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1974/19740139.htm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking in dense real-time
• The temporal logic of branching time
• Deciding full branching time logic
• Decision procedures and expressiveness in the temporal logic of branching time
• Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints

Cited in

(13)

• Finite automata on timed \(\omega\)-trees
• Linear, branching time and joint closure semantics for temporal logic
• Decision procedures and expressiveness in the temporal logic of branching time
• Linear time Datalog and branching time logic
• Adequacy and complete axiomatization for timed modal logic
• Model Checking Real-Time Systems
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• TCTL inevitability analysis of dense-time systems
• scientific article; zbMATH DE number 4006233 (Why is no real title available?)
• Automata-theoretic decision of timed games
• scientific article; zbMATH DE number 2084388 (Why is no real title available?)
• Decidable temporal and sequential relevant logics*
• Model-checking in dense real-time

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472440)