scientific article; zbMATH DE number 1848280

zbMATH Open1005.03507MaRDI QIDQ4785458FDOQ4785458

Authors: Thomas Wilke 

Publication date: 25 February 2003

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Temporal logic (03B44) Semigroups in automata theory, linguistics, etc. (20M35)

Cited In (8)

• Title not available (Why is that?)
• Algebraic Methodology and Software Technology
• Varieties
• From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
• An algebraic study of tense logics with linear time
• Linear, branching time and joint closure semantics for temporal logic
• Finite-trace linear temporal logic: coinductive completeness
• Title not available (Why is that?)

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