G
George Boolos
Researcher at Massachusetts Institute of Technology
Publications - 61
Citations - 3678
George Boolos is an academic researcher from Massachusetts Institute of Technology. The author has contributed to research in topics: Modal logic & Provability logic. The author has an hindex of 23, co-authored 61 publications receiving 3567 citations. Previous affiliations of George Boolos include Columbia University & University of Padua.
Papers
More filters
Book
Computability and Logic
George Boolos,Richard C. Jeffrey +1 more
TL;DR: This book discusses Computability Theory, Modal logic and provability, and its applications to first-order logic, which aims to clarify and clarify the role of language in the development of computability.
Book
The logic of provability
TL;DR: In this paper, the completeness and decidability of GL and other modal logics are discussed, including the fixed-point theorem, the fixed point theorem, letterless sentences, and analysis.
Journal ArticleDOI
To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables)
Book
Logic, Logic, and Logic
TL;DR: In this paper, the authors present a study on set theory and the nature of logic and prove the consistency of Frege's Theorem and the Peano Postulates of the standard of equality of numbers.