Artículos relacionados a Temporal Logics (Elements in Philosophy and Logic)
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
EUR 24,44
EUR 17,11 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 24,88
EUR 5,19 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Temporal Logics (Elements in Philosophy and Logic)
Imagen de archivo
Temporal Logics (Elements in Philosophy and Logic)
Publicado por
Cambridge University Press, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781009170109_new
Cantidad disponible: 2 disponibles
Imagen de archivo
Temporal Logics
Publicado por
Cambridge University Press, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 175. Nº de ref. del artículo: C9781009170109
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Temporal Logics
Publicado por
Cambridge University Press, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 2023. New. paperback. . . . . . Nº de ref. del artículo: V9781009170109
Cantidad disponible: 2 disponibles
Imagen de archivo
TEMPORAL LOGICS
Publicado por
Cambridge University Press, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Tapa blanda
Librería: Speedyhen, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: NEW. Nº de ref. del artículo: NW9781009170109
Cantidad disponible: 2 disponibles
Imagen de archivo
Temporal Logics (Elements in Philosophy and Logic)
Publicado por
Cambridge University Press, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9781009170109
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Temporal Logics
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 75 pages. 9.00x6.00x0.23 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __1009170104
Cantidad disponible: 1 disponibles
Imagen del vendedor
Temporal Logics (Paperback or Softback)
Publicado por
Cambridge University Press 10/5/2023, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Paperback or Softback
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback or Softback. Condición: New. Temporal Logics 0.35. Book. Nº de ref. del artículo: BBS-9781009170109
Cantidad disponible: 5 disponibles
Imagen de archivo
Temporal Logics
Publicado por
Cambridge University Press, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. 2023. New. paperback. . . . . . Books ship from the US and Ireland. Nº de ref. del artículo: V9781009170109
Cantidad disponible: 2 disponibles
Imagen del vendedor
Temporal Logics
Publicado por
Cambridge University Press, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 45815599-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Temporal Logics (Elements in Philosophy and Logic)
Publicado por
Cambridge University Press 2023-07-31, 2023
ISBN 10: 1009170104
ISBN 13: 9781009170109
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-GRD-9781009170109
Cantidad disponible: 2 disponibles