Temporal Logics
No Customer Reviews
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 various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these...
Format:Paperback
Language:English
ISBN:1009170104
ISBN13:9781009170109
Release Date:October 2023
Publisher:Cambridge University Press
Length:75 Pages
Weight:0.35 lbs.
Dimensions:0.2" x 6.0" x 9.0"
Related Subjects
PhilosophyCustomer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
