Temporal Logic
β Nicholas Rescher, Alasdair Urquhart (auth.)
π Library
π
1971
π Springer Vienna
π English
β¦ LIBER β¦
π
Temporal logic
β Scribed by Rescher N., Urquhart A.
- Publisher
- Springer
- Year
- 1971
- Tongue
- English
- Leaves
- 288
- Series
- Library of exact philosophy
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Temporal Logic
β Valentin Goranko
π Library
π
2023
π Cambridge University Press
π English
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving var
Temporal Logic of Programs
β Fred KrΓΆger
π Library
π
1987
π Springer
π English
Introduction to the temporal logic of - in particular parallel - programs. Divided into three main parts: - Presentation of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their properties within the language of temporal logic; - Application of the lo
A really temporal logic
β Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
π Library
π
2007
π Dept. of Computer Science Stanford University
π English
A really temporal logic
β Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department
π Library
π
2007
π Dept. of Computer Science Stanford University
π English
Temporal Logic of Programs
β Fred KrΓΆger
π Library
π
1987
π Springer
π English
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and proof theory; - Representation of programs and their proper- ties within the language of temporal logic; - Application of t