Cover Image

The logic of provability /

Bibliographic Details
Main Author:	Boolos, George
Format:	Book
Language:	English
Published:	Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1993.
Subjects:	Modality (Logic) Proof theory.

Similar Items

The unprovability of consistency : an essay in modal logic /
by: Boolos, George
Published: (1979)

Types, tableaus, and Gödel's God /
by: Fitting, Melvin, 1942-
Published: (2002)

An essay in modal logic /
Published: (1951)

An introduction to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1968)

The logic of common nouns : an investigation in quantified modal logic /
by: Gupta, Anil
Published: (1980)

A companion to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1984)

Modal logics and philosophy /
by: Girle, Rod
Published: (2000)

Modal logic and its applications /
by: Snyder, D. Paul, 1933-
Published: (1971)

First-order modal logic /
by: Fitting, Melvin, 1942-
Published: (1998)

Reforging the great chain of being : studies of the history of modal theories /
Published: (1981)

Modality /
by: Melia, Joseph
Published: (2003)

The Routledge handbook of modality /
Published: (2021)

Modern modalities : studies of the history of modal theories from medieval nominalism to logical positivism /
Published: (1988)

Modal logics /
by: Feys, Robert, 1889-
Published: (1965)

Many-dimensional modal logics : theory and applications /
Published: (2003)

A short introduction to modal logic /
by: Mint͡s, G. E.
Published: (1992)

Advances in modal logic /
Published: (1998)

Modal logic as metaphysics /
by: Williamson, Timothy
Published: (2013)

Proof methods for modal and intuitionistic logics /
by: Fitting, Melvin, 1942-
Published: (1983)

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics /
by: Wallen, Lincoln A.
Published: (1990)

Topics in conditional logic /
by: Nute, Donald, 1947-
Published: (1980)

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

Modal logic : an introduction to its syntax and semantics /
by: Cocchiarella, Nino B.
Published: (2008)

Many-dimensional modal logics : theory and applications /
Published: (2003)

Handbook of modal logic /
Published: (2007)

Medieval modal logic & science : Augustine on necessary truth & Thomas on its impossibility without a first cause /
by: Trundle, Robert C., 1943-
Published: (1999)

The Possible and the actual : readings in the metaphysics of modality /
Published: (1979)

Handbook of modal logic /
Published: (2007)

Modality : metaphysics, logic, and epistemology /
Published: (2010)

A new introduction to modal logic /
by: Hughes, G. E. (George Edward), 1918-
Published: (1996)

Languages of possibility : an essay in philosophical logic /
by: Forbes, Graeme
Published: (1989)

Temporal modalities in Arabic logic.
by: Rescher, Nicholas
Published: (1967)

Intensional and higher-order modal logic : with applications to Montague semantics /
by: Gallin, Daniel
Published: (1975)

Modal logic as metaphysics /
by: Williamson, Timothy
Published: (2013)

Handbook of modal logic /
Published: (2007)

Possibilities and paradox : an introduction to modal and many-valued logic /
by: Beall, J. C.
Published: (2003)

Modal logic : the Lewis-modal systems /
by: Zeman, J. Jay (Joseph Jay), 1934-
Published: (1973)

Studies in modality /
by: Rescher, Nicholas
Published: (1974)

Modal translation : the relevance of worlds /
by: Hanmer, Paul
Published: (2023)

The foundations of modality : from propositions to possible worlds /
by: Fritz, Peter, 1984-
Published: (2023)