The logic of provability /

Main Author:	Boolos, George S.
Format:	Book
Language:	English
Published:	Cambridge New York : Cambridge University Press, 1993
Subjects:	Modality (Logic) Proof theory Logic Mathematics Philosophy

Similar Items

The logic of provability/
by: Boole, George, 1815-1864
Published: (1993)

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

Modal logics and philosophy
by: Girle, Rod.
Published: (2009)

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

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

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

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

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

Referential opacity and modal logic/
by: Follesdal, Dagfinn
Published: (2004)

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

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

Logic for concurrency and synchronisation
Published: (2003)

Investigations in modal and tense logics with applications to problems in philosophy and linguistics/
by: Gabbay, Dov M., 1945-
Published: (1976)

Provability, complexity, grammars/
by: Beklemishev, Lev Dmitrievich, 1967-
Published: (1999)

Modal logic as metaphysics /
by: Williamson, Timothy

Advances in modal logic/
Published: (1998)

Reference and modality/
Published: (1971)

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

Modal thinking/
by: White, Alan R., 1922-
Published: (1975)

The theory of ontic modalities
by: Meixner, Uwe.
Published: (2006)

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

Essai sur la logique des modalites/
by: Gardies, Jean-Louis
Published: (1979)

Modalities in medieval philosophy/
by: Knuutila, Simo, 1946-
Published: (1993)

Content and modality themes from the philosophy of Robert Stalnaker /
Published: (2006)

Content and modality: themes from the philosophy of Robert Stalnaker/
Published: (2006)

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

Temporal logic: from ancient ideas to artificial intelligence/
by: Ohrstrom, Peter
Published: (1995)

On the logic of ordinary conditionals /
by: McLaughlin, Robert N., 1928-
Published: (1990)

The nature of necessity/
by: Plantinga, Alvin
Published: (1974)

The logic of concept expansion
by: Buzaglo, Meir, 1959-
Published: (2002)

Modal logic and classical logic
by: Benthem, J. F. A. K. van, 1949-
Published: (1983)

Displaying modal logic/
by: Wansing, Heinrich
Published: (1998)

Conditionals /
by: Rescher, Nicholas.
Published: (2007)

Logic and philosophy= Logique et philosophie/
Published: (1980)

Arrow logic and multi-modal logic/
Published: (1996)

Proof, logic and formalization /
by: Detlefsen, Michael
Published: (1992)

An introduction to modal logic /
by: Hughes, George Edward
Published: (1968)

Modal logic/
by: Blackburn, Patrick, 1959-
Published: (2001)

A pragmatic logic for commands
by: Adler, Melvin Joseph.
Published: (1980)

The logic of concept expansion/
by: Buzaglo, Meir, 1959-
Published: (2002)

Cannot write session to /tmp/vufind_sessions/sess_l4vaqrt8hso99754dbavdh8nk4