scientific article; zbMATH DE number 1502114

MaRDI QIDQ4503155zbMATH OpenFDO

Authors H. Schmitz

Publication date 4 September 2000

zbMATH Keywords

restricted temporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Formal languages and automata (68Q45)

Recommendations

• Reasoning in a restricted temporal logic
• Temporal logics with language parameters
• Timed context-free temporal logics
• scientific article; zbMATH DE number 1499103
• Decidable temporal and sequential relevant logics*
• scientific article; zbMATH DE number 1088203
• Timed temporal logics
• On the expressive power of temporal logic
• A logical characterization of timed pushdown languages
• A decidable intuitionistic temporal logic

Cited in

(6)

• Reasoning in a restricted temporal logic
• On the expressive power of temporal logic
• Restrictions for loop-check in sequent calculus for temporal logic
• Around dot depth two
• Hybrid languages and temporal logic
• Real-Time Definable Languages

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 Q4503155)