{"product_id":"temporal-logics-9781009170109","title":"Temporal Logics","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eTemporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003ePreface; 1. Temporal reasoning and logics: introduction and a brief historical overview; 2. The variety of models of time; 3. Prior's basic systems of temporal logic; 4. Temporal logics for linear time; 5. Reasoning about non-determinism: models and logics for branching time; 6. The Peircean branching time logic PBTL; 7. The Ockhamist branching time logic OBTL; 8. First-order temporal logics; 9. Variations, extensions, and applications of temporal logics; References.","brand":"Cambridge University Press","offers":[{"title":"Default Title","offer_id":51018596024663,"sku":"9781009170109","price":17.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9781009170109.jpg?v=1750777460","url":"https:\/\/bookcurl.com\/products\/temporal-logics-9781009170109","provider":"Book Curl","version":"1.0","type":"link"}