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
temporal operators. Temporal logics have found a wide range of
applications as formal frameworks for temporal knowledge
representation and reasoning in artificial intelligence, and as
tools for formal specification, analysis, and verification of
properties of computer programs and systems. This Element aims at
providing both a panoramic view on the landscape of the variety of
temporal logics and closer looks at some of their most interesting
and important landmarks.
General
Imprint: |
Cambridge UniversityPress
|
Country of origin: |
United Kingdom |
Series: |
Elements in Philosophy and Logic |
Release date: |
September 2023 |
Authors: |
Valentin Goranko
|
Pages: |
75 |
ISBN-13: |
978-1-00-917010-9 |
Categories: |
Books
|
LSN: |
1-00-917010-4 |
Barcode: |
9781009170109 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!