We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£56.76
World Scientific Publishing Company Temporal Logic - World Scientific Publishing Company Book
Price data checked 2 days ago
Price History & Forecast
Last 89 days • 84 data points
Price Distribution
Price distribution over 89 days • 7 price levels
Price Analysis
Most common price: £56 (48 days, 57.1%)
Price range: £56 - £66
Price levels: 7 different prices over 84 days
Description
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
- Format
- hardcover
- ASIN
- 9811268533
- Domain
- Amazon UK
- Release Date
- 22 May 2023
- Listed Since
- 04 November 2022
Barcode
No barcode data available
Similar Products You Might Like
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
North Holland
FEIN 63502225230 SL E-Cut C HCS 50x65 Saw Blade, 0 V, Multi-Colour
Springer
Springer Advances in Temporal Logic 16 - Applied Logic Series
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Springer Advances in Verification of Time Petri Nets and TA
Springer
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)
Springer
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: 156 (Synthese Library, 156)
Springer
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
CRC Press
Mathematical Logic
Wiley
Quantum Computation and Logic: How Quantum Computers Have Inspired Logical Investigations: 48 (Trends in Logic, 48)
Springer
Springer The Logic of Time - Synthese Library 156 Book
Springer
Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)
Chapman and Hall/CRC
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
Birkhauser
Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Language Computability and Formal Language Theory
Society Publishing
Springer - Alternative Logics. Do Sciences Need Them? Book
Springer
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
Birkhauser
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Springer