| Authors |
|
| Publication date |
2013
|
| Host editors |
-
L. Libkin
-
U. Kohlenbach
-
R. de Queiroz
|
| Book title |
Logic, Language, Information, and Computation
|
| Book subtitle |
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings
|
| ISBN |
|
| ISBN (electronic) |
|
| Series |
Lecture Notes in Computer Science
|
| Event |
20th Workshop on Logic, Language, Information and Computation
|
| Pages (from-to) |
138-152
|
| Publisher |
Heidelberg: Springer
|
| Organisations |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the sense that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as “there exist uncountably many.” Both of the axiomatizations are shown to be sound and complete for FO(Q) consequences.
|
| Document type |
Conference contribution
|
| Language |
English
|
| Published at |
https://doi.org/10.1007/978-3-642-39992-3_14
|
|
Permalink to this page
|