The Logic of Choice
From MaRDI portal
Publication:4527924
DOI10.2307/2586700zbMath0973.03007OpenAlexW2144153673MaRDI QIDQ4527924
Publication date: 23 November 2001
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2586700
Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)
Related Items (6)
Interpreting HOL in the calculus of constructions ⋮ Herbrand complexity and the epsilon calculus with equality ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Implicit complexity over an arbitrary structure: Quantifier alternations ⋮ Semantics and Proof Theory of the Epsilon Calculus ⋮ The epsilon calculus and Herbrand complexity
Cites Work
This page was built for publication: The Logic of Choice
