國立虎尾科技大學 |

Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Temporal logic/ Stefania Centrone, Klaus Mainzer.
其他題名:	from philosophy and proof theory to artificial intelligence and quantum computing /
作者:	Centrone, Stefania.
其他作者:	Mainzer, Klaus.
出版者:	Singapore ;World Scientific, : c2023.,
面頁冊數:	1 online resource :ill. :
標題:	Logic, Symbolic and mathematical. -
電子資源:	https://www.worldscientific.com/worldscibooks/10.1142/13205#t=toc
ISBN:	9789811268540

Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /
Centrone, Stefania.

Temporal logicfrom philosophy and proof theory to artificial intelligence and quantum computing /[electronic resource] :Stefania Centrone, Klaus Mainzer. - 1st ed. - Singapore ;World Scientific,c2023. - 1 online resource :ill.

Includes bibliographical references and index.

"Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science. The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy"--

ISBN: 9789811268540

LCCN: 2023006260Subjects--Topical Terms:

527823
Logic, Symbolic and mathematical.

LC Class. No.: QA267.5.T45 / C46 2023

Dewey Class. No.: 511.3/14

Temporal logic = from philosophy and proof theory to artificial intelligence and quantum computing /
LDR:02758cam a2200277 a 4500 001 1136077
005 20240923072503.0
006 m o d
007 cr cnu---unuuu
008 241218s2023 si a ob 001 0 eng
010 $a 2023006260
020 $a 9789811268540 $q (ebook for institutions)
020 $a 9789811268557 $q (ebook for individuals)
020 $z 9789811268533 $q (hardcover)
035 $a 22992845
040 $a DLC $b eng $c DLC $d DLC
041 0 $a eng
050 0 0 $a QA267.5.T45 $b C46 2023
082 0 0 $a 511.3/14 $2 23
100 1 $a Centrone, Stefania. $3 1201490
245 1 0 $a Temporal logic $h [electronic resource] : $b from philosophy and proof theory to artificial intelligence and quantum computing / $c Stefania Centrone, Klaus Mainzer.
250 $a 1st ed.
260 $a Singapore ; $a Hackensack, NJ : $b World Scientific, $c c2023.
300 $a 1 online resource : $b ill.
504 $a Includes bibliographical references and index.
520 $a "Calculi of temporal logic are widely used in modern computer science. The temporal organization of information flows in the different architectures of laptops, the Internet, or supercomputers would not be possible without appropriate temporal calculi. In the age of digitalization and High-Tech applications, people are often not aware that temporal logic is deeply rooted in the philosophy of modalities. A deep understanding of these roots opens avenues to the modern calculi of temporal logic which have emerged by extension of modal logic with temporal operators. Computationally, temporal operators can be introduced in different formalisms with increasing complexity such as Basic Modal Logic (BML), Linear-Time Temporal Logic (LTL), Computation Tree Logic (CTL), and Full Computation Tree Logic (CTL*). Proof-theoretically, these formalisms of temporal logic can be interpreted by the sequent calculus of Gentzen, the tableau-based calculus, automata-based calculus, game-based calculus, and dialogue-based calculus with different advantages for different purposes, especially in computer science. The book culminates in an outlook on trendsetting applications of temporal logics in future technologies such as artificial intelligence and quantum technology. However, it will not be sufficient, as in traditional temporal logic, to start from the everyday understanding of time. Since the 20th century, physics has fundamentally changed the modern understanding of time, which now also determines technology. In temporal logic, we are only just beginning to grasp these differences in proof theory which needs interdisciplinary cooperation of proof theory, computer science, physics, technology, and philosophy"-- $c Provided by publisher.
588 $a Description based on print version record.
650 0 $a Logic, Symbolic and mathematical. $3 527823
650 0 $a Temporal automata. $3 598633
700 1 $a Mainzer, Klaus. $3 569114
856 4 0 $u https://www.worldscientific.com/worldscibooks/10.1142/13205#t=toc