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

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: Mathematical Foundations

📁 Temporal Logic: Mathematical Foundations and Computational Aspects

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

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 theore

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

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