Temporal Logic: Mathematical Foundations and Computational Aspects

✍ Scribed by Dov. M. Gabbay, Mark A. Reynolds, Marcelo Finger

Publisher: Oxford University Press, USA
Year: 2000
Tongue: English
Leaves: 614
Series: Oxford Logic Guides 40
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This is the second volume in a series of well-respected works in temporal science and is by the same authors as the first. Volume one dealt primarily with basic concepts and methods, volume two discuses the more applicable aspects of temporal logics. The first four chapters continue the more theoretical presentations from volume one, covering automata, branching time and labelled deduction. The rest of the book is devoted to discussions of temporal databases, temporal execution and programming, actions and planning. With its inclusion of cutting-edge results and unifying methodologies, this book, and its companion are an indispensable reference for both the pure logician and the theoretical computer scientist.

📜 SIMILAR VOLUMES

Temporal Logic: Mathematical Foundations

📁 Temporal Logic: Mathematical Foundations and Computational Aspects

✍ Dov M. Gabbay, Ian Hodkinson, Mark Reynolds 📂 Library 📅 1994 🏛 Clarendon Press 🌐 English

We are happy to present the reader with volume 1 of our book on temporal logic. Work on this volume was begun in 1979 by Dov Gabbay, who prepared a draft manuscript [Gabbay, 1981c] which covered earlier versions of chapters 1-3, 6-11, and 13. The 1981 manuscript was intended as a research m

Temporal logic: vol.2, mathematical foun

📁 Temporal logic: vol.2, mathematical foundations and computational aspects

✍ Dov M. Gabbay, Mark A. Reynolds, Marcelo Finger 📂 Library 📅 2000 🏛 Oxford University Press 🌐 English

Logicism renewed: Logical foundations fo

📁 Logicism renewed: Logical foundations for mathematics and computer science

✍ Gilmore, Paul Carl 📂 Library 📅 2005 🏛 A K Peters, Association for Symbolic Logic 🌐 English

Logicism Renewed: Logical Foundations fo

📁 Logicism Renewed: Logical Foundations for Mathematics and Computer Science

✍ Paul C. Gilmore 📂 Library 📅 2005 🏛 ASL 🌐 English

Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In <i>Logicism Renewed</i>, the author revisits this concept in light of advances in mathematical logic and the need for languag

Computability: Computable Functions, Log

📁 Computability: Computable Functions, Logic, and the Foundations of Mathematics

✍ Richard L. Epstein, Walter A. Carnielli 📂 Library 📅 2008 🏛 Advanced Reasoning Forum 🌐 English

Now in a new edition!--the classic presentation of the theory of computable functions in the context of the foundations of mathematics. Part I motivates the study of computability with discussions and readings about the crisis in the foundations of mathematics in the early 20th century, while pre

Computability: Computable Functions, Log

📁 Computability: Computable Functions, Logic, and the Foundations of Mathematics

✍ Richard L. Epstein, Walter A. Carnielli 📂 Library 📅 2008 🏛 Advanced Reasoning Forum, Socorro, New Mexico, USA 🌐 English