Temporal Logic - World Scientific Publishing Company Book - Image 1

£56.78

World Scientific Publishing Company Temporal Logic - World Scientific Publishing Company Book

Name: Temporal Logic - World Scientific Publishing Company Book
Brand: World Scientific Publishing Company
Price: 56.78 GBP
Availability: InStock

AI & Machine Learning

Price data checked 7 days ago

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£57 today · previous high £57 · all-time low £57

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 84 days · 84 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 84 days • 1 price levels

Days at Price

Price Analysis

Most common price: £57 (84 days, 100.0%)

Price range: £57 - £57

Price levels: 1 different prices over 84 days

Description

Explore the foundations of modern computing with Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing. Published by World Scientific Publishing Company, this text examines how temporal calculi enable the organization of information flows across laptops, the Internet, and supercomputers. While many view temporal logic as a purely technical tool, this book demonstrates its deep roots in the philosophy of modalities. By understanding these philosophical origins, readers can better grasp the modern calculi that have emerged through the extension of modal logic with temporal operators. This connection is essential for anyone studying the evolution of digital systems and high-tech applications. This book provides a clear pathway from theoretical philosophy and proof theory to practical applications in artificial intelligence and quantum computing. It is an essential resource for understanding the logical structures that make contemporary digital architectures possible.

Key Features

Connects philosophical roots of modality to modern temporal logic calculi used in high-tech applications.

Explains the temporal organization of information flows in laptops, the Internet, and supercomputers.

Provides a technical foundation spanning from proof theory to artificial intelligence and quantum computing.

Examines how modal logic is extended with temporal operators to create modern computational tools.

Offers deep insights into the logic required for complex digital architectures and information processing.

Product Specifications

Brand: World Scientific Publishing Company
Format: hardcover
ASIN: 9811268533
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 22 May 2023
Listed Since: 04 November 2022

Barcode

No barcode data available

World Scientific Publishing Company Temporal Logic - World Scientific Publishing Company Book

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Time & Logic: A Computational Approach (Routledge Revivals)

Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)

Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)

An Introduction to Practical Formal Methods Using Temporal Logic

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

Logic for Applications (Texts in Computer Science)

Proof Theory and Logic Programming: Computation as Proof Search

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Displaying Modal Logic: 3 (Trends in Logic, 3)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Springer - Protoalgebraic Logics: 10 (Trends in Logic, 10)

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings: 827 (Lecture Notes in Computer Science, 827)

Modal Semirings and Applications (Trends in Logic, 72)

Springer Advances in Temporal Logic 16 - Applied Logic Series

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday: 6300 (Lecture Notes in Computer Science, 6300)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version