- Home
- →
- Fakultäten
- →
- Fakultät für Elektrotechnik und Informatik
- →
- View Item
Download statistics - Document (COUNTER):
Hannula, M.; Virtema, J.: Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. In: Annals of pure and applied logic 173 (2022), Nr. 10, 103108. DOI: https://doi.org/10.1016/j.apal.2022.103108
Repository version
Selected time period:
Sum total of downloads: 42
| Abstract: | |
Probabilistic team semantics is a framework for logical analysis of probabilistic dependencies. Our focus is on the axiomatizability, complexity, and expressivity of probabilistic inclusion logic and its extensions. We identify a natural fragment of existential second-order logic with additive real arithmetic that captures exactly the expressivity of probabilistic inclusion logic. We furthermore relate these formalisms to linear programming, and doing so obtain PTIME data complexity for the logics. Moreover, on finite structures, we show that the full existential second-order logic with additive real arithmetic can only express NP properties. Lastly, we present a sound and complete axiomatization for probabilistic inclusion logic at the atomic level. © 2022 The Author(s) | |
| License of this version: | CC BY 4.0 Unported |
| Document Type: | Article |
| Publishing status: | publishedVersion |
| Issue Date: | 2022 |
| Appears in Collections: | Fakultät für Elektrotechnik und Informatik |
distribution of downloads over the selected time period:
downloads by country:
| pos. | country | downloads | ||
|---|---|---|---|---|
| total | perc. | |||
| 1 |  |
United States | 14 | 33.33% |
| 2 |  |
Germany | 12 | 28.57% |
| 3 |  |
China | 5 | 11.90% |
| 4 |  |
France | 3 | 7.14% |
| 5 |  |
Ukraine | 2 | 4.76% |
| 6 |  |
Netherlands | 2 | 4.76% |
| 7 |  |
No geo information available | 1 | 2.38% |
| 8 |  |
Taiwan | 1 | 2.38% |
| 9 |  |
Kazakhstan | 1 | 2.38% |
| 10 |  |
Denmark | 1 | 2.38% |
Further download figures and rankings:
Hinweis
Zur Erhebung der Downloadstatistiken kommen entsprechend dem „COUNTER Code of Practice for e-Resources“ international anerkannte Regeln und Normen zur Anwendung. COUNTER ist eine internationale Non-Profit-Organisation, in der Bibliotheksverbände, Datenbankanbieter und Verlage gemeinsam an Standards zur Erhebung, Speicherung und Verarbeitung von Nutzungsdaten elektronischer Ressourcen arbeiten, welche so Objektivität und Vergleichbarkeit gewährleisten sollen. Es werden hierbei ausschließlich Zugriffe auf die entsprechenden Volltexte ausgewertet, keine Aufrufe der Website an sich.