Dependence logic with generalized quantifiers: Axiomatizations
| Authors |
|
|---|---|
| Publication date | 2013 |
| Host editors |
|
| 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 |
|
| 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
(Final published version)
|
| Permalink to this page | |