scientific article; zbMATH DE number 830431
axiomatizations of time structuresbranching timeComputational approacheffective proof systemsformal specificationformal verificationlinear timeLogiclogics of programsMarkov chainspartially ordered timerandom environmentrelational algebrastemporal logictemporal program verificationtemporal proof systemstemporal reasoningtense logicTimetime representation
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) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
- Dual systems of tableaux and sequents for PLTL
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects
- Branching time? Pruning time!
- scientific article; zbMATH DE number 3985193 (Why is no real title available?)
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 4081516 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 17797 (Why is no real title available?)
- scientific article; zbMATH DE number 6806035 (Why is no real title available?)
- scientific article; zbMATH DE number 4119593 (Why is no real title available?)
- A Branching Time Logical System for Open Distributed Systems Development
- Temporal Logics
- Reasoning with numeric and symbolic time information
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)
