| 1 |
| Authors | J. Kontinen, J. Väänänen | | Title | On Definability in Dependence Logic |
| Faculty | Faculty of Science |
| Institute/dept. | FNWI/FGw: Institute for Logic, Language and Computation (ILLC) |
| Keywords | dependence logic, independence friendly logic, team, trump |
| Series | ILLC Prepublications / ILLC ; PP-2007-18 |
| Abstract | We study the expressive power of open formulas of Dependence Logic. In
particular, we answer a question raised by Wilfrid Hodges: how to
characterize the sets of teams definable by means of identity only in
dependence logic, or equivalently in independence friendly logic. |
| Document type | Preprint |
| Download paper | |
| Document finder | 
|
Use this url to link to this page: http://dare.uva.nl/en/record/222318
Contact us about this recordNotify a colleague
Add to bookbag
|
