Zoekopdracht:
faculteit: "FNWI" en publicatiejaar: "2010"
| Auteurs | J. Väänänen, W. Hodges | | Titel | Dependence of variables construed as an atomic formula |
| Tijdschrift | Annals of Pure and Applied Logic |
| Jaargang | 161 |
| Jaar | 2010 |
| Nummer | 6 |
| Pagina's | 817-828 |
| ISSN | 01680072 |
| Faculteit | Faculteit der Natuurwetenschappen, Wiskunde en Informatica |
| Instituut/afd. | FNWI: Institute for Logic, Language and Computation (ILLC) |
| Samenvatting | We define a logic D capable of expressing dependence of a variable on designated variables only. Thus D has similar goals to the Henkin quantifiers of [4] and the independence friendly logic of [6] that it much resembles. The logic D achieves these goals by realizing the desired dependence declarations of variables on the level of atomic formulas. By [3] and [17], ability to limit dependence relations between variables leads to existential second order expressive power. Our D avoids some difficulties arising in the original independence friendly logic from coupling the dependence declarations with existential quantifiers. As is the case with independence friendly logic, truth of D is definable inside D. We give such a definition for D in the spirit of [11,2] and [1]. |
| Soort document | Artikel |
| Document finder | 
|
Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/336631
Vraag/opmerking over dit recordMail aan een collega
Toevoegen aan bewaarset
|
vorige
