Paperback. Etat : new. Paperback. 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. 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. This Element aims at providing both a panoramic view and closer looks at temporal logics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9781009170109

Contacter le vendeur

Acheter neuf

EUR 29,69

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Temporal Logics

Goranko, Valentin

Edit� par Cambridge Univ Pr, 2023

ISBN 10 : 1009170104 ISBN 13 : 9781009170109

Neuf Paperback

impression � la demande

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 75 pages. 9.00x6.00x0.23 inches. In Stock. This item is printed on demand. N� de r�f. du vendeur __1009170104

Contacter le vendeur

Acheter neuf

EUR 21,48

Autre devise

Frais de port : EUR 11,89

De Royaume-Uni vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Temporal Logics (Elements in Philosophy and Logic)

Goranko, Valentin

Edit� par Cambridge University Press, 2023

ISBN 10 : 1009170104 ISBN 13 : 9781009170109

Neuf paperback

Vendeur : Russell Books, Victoria, BC, Canada

�valuation du vendeur 5 sur 5 �toiles

paperback. Etat : New. New. Special order direct from the distributor. N� de r�f. du vendeur ING9781009170109

Contacter le vendeur

Acheter neuf

EUR 27

Autre devise

Frais de port : EUR 8,93

De Canada vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Temporal Logics

Valentin Goranko

Edit� par Cambridge University Press, 2023

ISBN 10 : 1009170104 ISBN 13 : 9781009170109

Neuf Paperback / softback

impression � la demande

Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 175. N� de r�f. du vendeur C9781009170109

Contacter le vendeur