Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Temporal Logic
View through CrossRef
Abstract
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.
Title: Temporal Logic
Description:
Abstract
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.
The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results.
Much of the research presented here is frontline in the new results and in the unifying methodology.
This is an indispensable reference work for both the pure logician and the theoretical computer scientist.
Related Results
Logic Colloquium '02
Logic Colloquium '02
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have ...
Logic Colloquium '96
Logic Colloquium '96
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have ...
Logic Colloquium '01
Logic Colloquium '01
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have ...
Logic in Tehran
Logic in Tehran
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have ...
Logic in Linguistics
Logic in Linguistics
An elementary introduction to formal logic, particularly intended for linguists and others interested in languages. Concepts and theories developed within formal logic for the stud...
Logic Colloquium '95
Logic Colloquium '95
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have ...
Syllogistic Logic and Mathematical Proof
Syllogistic Logic and Mathematical Proof
Abstract
Syllogistic Logic and Mathematical Proof chronicles and analyzes a debate centered on the following question: does syllogistic logic have the resources to c...
Circumventing the Logic and Limits of Representation: Otherness in East–West Approaches to Paradox
Circumventing the Logic and Limits of Representation: Otherness in East–West Approaches to Paradox
This chapter argues that paradox arises, not from our phenomenal experience, but from our efforts at conceptualizing it through the logic of comprehension dominating Western though...