scientific article; zbMATH DE number 1187493

zbMATH Open0902.68119MaRDI QIDQ3840671FDOQ3840671

Authors: Radosław Klimek 

Publication date: 10 August 1998

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

Recommendations

• Bisimulations for temporal logic
• Similarity saturation for first order linear temporal logic with UNLESS
• The true bisimulations for 'since' and 'until'
• Why systems of temporal logic are sometimes (un)useful?
• Similarity of states in modal logic

zbMATH Keywords

temporal logicmodel checking method

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

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