George Boolos - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

1997

Constructing Cantorian counterexamplesGeorge Boolos. jphil, 26(3):237-239, 1997. [doi]

1995

Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser. APAL, 75(1-2):1, 1995.

Frege s theorem and the Peano postulatesGeorge Boolos. bsl, 1(3):317-326, 1995. [doi]

1993

The Analytical Completeness of Dzhaparidze s Polymodal LogicsGeorge Boolos. APAL, 61(1-2):95-111, 1993.

1991

Provability: the emergence of a mathematical modalityGeorge Boolos, Giovanni Sambin. sLogica, 50(1):1-23, 1991. [doi]

1988

Alphabetical orderGeorge Boolos. ndjfl, 29(2):214-215, 1988. [doi]

1987

The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every InterpretationGeorge Boolos, Vann McGee. JSYML, 52(1):165-171, 1987.

Computability and logic (2. ed.)George Boolos, Richard C. Jeffrey. Cambridge University Press, 1987.

A curious inferenceGeorge Boolos. jphil, 16(1):1-12, 1987. [doi]

1985

1-consistency and the diamondGeorge Boolos. ndjfl, 26(4):341-347, 1985. [doi]

An incomplete system of modal logicGeorge Boolos, Giovanni Sambin. jphil, 14(4):351-358, 1985. [doi]

1984

Annual Meeting of the Association for Symbolic Logic: Boston 1983George Boolos, Sy D. Friedman. JSYML, 49(4):1441-1449, 1984.

Trees and finite satisfiability: proof of a conjecture of BurgessGeorge Boolos. ndjfl, 25(3):193-197, 1984. [doi]

Don't eliminate cutGeorge Boolos. jphil, 13(4):373-378, 1984. [doi]

1982

On the Nonexistence of Certain Normal Forms in the Logic of ProvabilityGeorge Boolos. JSYML, 47(3):638-640, 1982.

Extremely Undecidable SentencesGeorge Boolos. JSYML, 47(1):191-196, 1982.

1981

Meeting of the Association for Symbolic Logic: New York 1979George Boolos, Sy D. Friedman, Harold Hodes. JSYML, 46(2):427-434, 1981.

1980

Provability, truth, and modal logicGeorge Boolos. jphil, 9(1):1-7, 1980. [doi]

1979

Reflection Principles and Iterated Consistency AssertionsGeorge Boolos. JSYML, 44(1):33-35, 1979.

1977

On Deciding the Provability of Certain Fixed Point StatementsGeorge Boolos. JSYML, 42(2):191-193, 1977.

1976

On Deciding the Truth of Certain Statements Involving the Notion of ConsistencyGeorge Boolos. JSYML, 41(4):779-781, 1976.

1974

Computability and logicGeorge Boolos, Richard C. Jeffrey. Cambridge Univ. Press, 1974. [doi]

1970

A proof of the Löwenheim-Skolem theoremGeorge Boolos. ndjfl, 11(1):76-78, 1970. [doi]

1968

Degrees of Unsolvability of Constructible Sets of IntegersGeorge Boolos, Hilary Putnam. JSYML, 33(4):497-513, 1968.

Sign in or sign up to see more results.

runs on WebDSL