Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

JSYML
2000

favoriteEmaildiscussreport

85views more JSYML 2000»

The Logic of Choice

13 years 4 months ago

The Logic of Choice

Download research.microsoft.com

The choice construct (choose x : '(x)) is useful in software speci cations. We study extensions of rst-order logic with the choice construct. We prove some results about Hilbert's " operator, but in the main part of the paper we consider the case when all choices are independent. Part I

Andreas Blass, Yuri Gurevich

Real-time Traffic

JSYML 2000 | Rst-order Logic | Software Speci Cations | Useful |

claim paper

Related Content

» Qualitative choice logic

» Abducing through negation as failure stable models within the independent choice logic

» Independent Choices and the Interpretation of IF Logic

» A logic of propositional control for truthful implementations

» Translation of Resolution Proofs into Short FirstOrder Proofs without Choice Axioms

» An Ordered Choice Logic Programming FrontEnd for Answer Set Solvers

» Dynamic restriction of choices a preliminary logical report

» Implementing Ordered Choice Logic Programming using Answer Set Solvers

» Analytic Tableaux for HigherOrder Logic with Choice

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	JSYML
Authors	Andreas Blass, Yuri Gurevich

Comments (0)