Dana Scott

Job title:

Visitor

Research area:

Mathematical Logic

Bio:

Other UC Berkeley Affiliation: Group in Logic and the Methodology of Science

Research interests:

Foundations of logic and mathematics, semantics of programming languages

Role:

Visitor

Faculty

Publications

Intensional and Higher- Order Modal Logic

Daniel Gallin; Leon Albert Henkin; Dana Scott

PhD Thesis (Author field refers to student + advisor), 1972

Studies in algebraic Logic

Daniel B. Demaree; Leon Albert Henkin; Dana Scott

PhD Thesis (Author field refers to student + advisor), 1970

Probability Logic

Peter Holger Krauss; Leon Albert Henkin; Dana Scott

PhD Thesis (Author field refers to student + advisor), 1966

Decision Problems for Equational Theories of Semigroups and General Algebras

Peter Graham Perkins; Dana Scott

PhD Thesis (Author field refers to student + advisor), 1966

Infinitely Long Formulas with Countable Quantifier Degrees

Edgar George Kenneth Lopez-Escobar; Dana Scott

PhD Thesis (Author field refers to student + advisor), 1965

Contributions to the Study of the Independence of the Axiom of Choice

James Daniel Halpern; Dana Scott

PhD Thesis (Author field refers to student + advisor), 1962

All publications

Contact

Publications

Intensional and Higher- Order Modal Logic

Studies in algebraic Logic

Probability Logic

Decision Problems for Equational Theories of Semigroups and General Algebras

Infinitely Long Formulas with Countable Quantifier Degrees

Contributions to the Study of the Independence of the Axiom of Choice

Address

Phone / Email

University of California, Berkeley

Quick Links

Dana Scott

Contact

Publications

Intensional and Higher- Order Modal Logic

Studies in algebraic Logic

Probability Logic

Decision Problems for Equational Theories of Semigroups and General Algebras

Infinitely Long Formulas with Countable Quantifier Degrees

Contributions to the Study of the Independence of the Axiom of Choice