scientific article; zbMATH DE number 830431

zbMATH Open0849.03011MaRDI QIDQ4860769FDOQ4860769

Authors:

Publication date: 8 January 1996

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

Recommendations

• Temporal logic and state systems
• scientific article; zbMATH DE number 747023
• scientific article; zbMATH DE number 3985193
• scientific article; zbMATH DE number 47403
• Publication:4733377

zbMATH Keywords

Markov chainsrandom environmenttemporal reasoningtense logictemporal logicformal verificationlinear timebranching timeformal specificationLogicComputational approachTimelogics of programsrelational algebrastime representationtemporal proof systemspartially ordered timeaxiomatizations of time structureseffective proof systemstemporal program verification

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Modal logic (including the logic of norms) (03B45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Cited In (13)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning with numeric and symbolic time information
• Title not available (Why is that?)
• Temporal logic. Vol. 2. Mathematical foundations and computational aspects
• Title not available (Why is that?)
• A Branching Time Logical System for Open Distributed Systems Development
• Temporal Logics
• Dual systems of tableaux and sequents for PLTL
• Title not available (Why is that?)
• Branching time? Pruning time!
• 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 Q4860769)