PL EN


Preferences help
enabled [disable] Abstract
Number of results
2014 | 49 |
Article title

SOME FRAGMENTS OF SECOND-ORDER LOGIC OVER THE REALS FOR WHICH SATISFIABILITY AND EQUIVALENCE ARE (UN)DECIDABLE

Content
Title variants
Languages of publication
PL
Abstracts
PL
We consider the 10-fragment of second-order logic over the vocabulary h+;; 0; 1; <; S1; :::; Ski, interpreted over the reals, where the predicate symbols Si are interpreted as semialgebraic sets. We show that, in this context, satisability of formulas is decidable for the rst-order 9-quantier fragment and undecidable for the 98- and 8-fragments. We also show that for these three fragments the same (un)decidability results hold for containment and equivalence of formulas.
Keywords
PL
 
Publisher
Year
Volume
49
Physical description
Dates
published
2014
online
07 - 07 - 2015
Contributors
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.ojs-issn-2084-2589-year-2014-volume-49-article-2916
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.