[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines

Subjects

Methodology

Applications

ASM Studies

Choice Logics

Citation: Andreas Blass and Yuri Gurevich, "The Logic of Choice", Journal of Symbolic Logic, vol. 65, no. 3, September 2000, 1264--1310.
Summary: Extensions of first-order logic with the choice construct are studied.
Subjects: Logic & Computability
Download: Available from Yuri Gurevich's WWW site in PostScript or PDF.
Notes:  
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/choicelogic.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT