Publication:4860769

zbMath0849.03011MaRDI QIDQ4860769

No author found.

Publication date: 8 January 1996

zbMATH Keywords

Markov chains; formal verification; formal specification; random environment; Logic; tense logic; temporal logic; temporal reasoning; linear time; branching time; Computational approach; Time; logics of programs; relational algebras; time representation; temporal proof systems; partially ordered time; axiomatizations of time structures; effective proof systems; temporal program verification

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

03B45: Modal logic (including the logic of norms)

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

Related Items

A Branching Time Logical System for Open Distributed Systems Development, Dual systems of tableaux and sequents for PLTL, Branching Time? Pruning Time!