scientific article; zbMATH DE number 830431
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
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)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 6806035 (Why is no real title available?)
- Reasoning with numeric and symbolic time information
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 4081516 (Why is no real title available?)
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects
- scientific article; zbMATH DE number 17797 (Why is no real title available?)
- A Branching Time Logical System for Open Distributed Systems Development
- Dual systems of tableaux and sequents for PLTL
- Temporal Logics
- scientific article; zbMATH DE number 4119593 (Why is no real title available?)
- Branching time? Pruning time!
- scientific article; zbMATH DE number 3985193 (Why is no real title available?)
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)
