| Publication | Date of Publication | Type |
|---|
| Expressivity landscape for logics with probabilistic interventionist counterfactuals | 2026-02-19 | Paper |
| Temporal team semantics revisited | 2024-12-06 | Paper |
| Set semantics for asynchronous TeamLTL: expressivity and complexity | 2024-12-03 | Paper |
| Computing repairs under functional and inclusion dependencies via argumentation | 2024-10-30 | Paper |
| A remark on the expressivity of asynchronous TeamLTL and HyperLTL | 2024-10-30 | Paper |
| Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals | 2024-05-29 | Paper |
| Logics with probabilistic team semantics and the Boolean negation | 2024-05-29 | Paper |
Parameterized complexity of propositional inclusion and independence logic
Logic, Language, Information, and Computation | 2024-02-28 | Paper |
scientific article; zbMATH DE number 7799630 (Why is no real title available?)
(available as arXiv preprint) | 2024-02-05 | Paper |
| Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals | 2023-03-21 | Paper |
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Annals of Pure and Applied Logic | 2022-09-16 | Paper |
scientific article; zbMATH DE number 7533347 (Why is no real title available?)
(available as arXiv preprint) | 2022-05-28 | Paper |
| On quantified propositional logics and the exponential time hierarchy | 2021-12-07 | Paper |
On quantified propositional logics and the exponential time hierarchy
(available as arXiv preprint) | 2021-12-07 | Paper |
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Logics in Artificial Intelligence | 2021-12-01 | Paper |
Team semantics for the specification and verification of hyperproperties
(available as arXiv preprint) | 2021-08-04 | Paper |
| Complexity of validity for propositional dependence logics | 2021-06-24 | Paper |
Complexity of validity for propositional dependence logics
(available as arXiv preprint) | 2021-06-24 | Paper |
Descriptive complexity of deterministic polylogarithmic time and space
Journal of Computer and System Sciences | 2021-04-14 | Paper |
Descriptive complexity of real computation and probabilistic independence logic
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Descriptive complexity of real computation and probabilistic independence logic
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Polyteam semantics
Journal Of Logic And Computation | 2020-12-15 | Paper |
Model checking and validity in propositional and modal inclusion logics
(available as arXiv preprint) | 2020-05-26 | Paper |
Descriptive complexity of deterministic polylogarithmic time
(available as arXiv preprint) | 2020-03-04 | Paper |
Facets of distribution identities in probabilistic team semantics
(available as arXiv preprint) | 2020-02-18 | Paper |
Model checking and validity in propositional and modal inclusion logics
Journal Of Logic And Computation | 2020-02-03 | Paper |
Characterising modal definability of team-based logics via the universal modality
Annals of Pure and Applied Logic | 2019-09-18 | Paper |
Facets of Distribution Identities in Probabilistic Team Semantics
(available as arXiv preprint) | 2018-12-14 | Paper |
Approximation and dependence via multiteam semantics
Annals of Mathematics and Artificial Intelligence | 2018-09-21 | Paper |
Probabilistic team semantics
(available as arXiv preprint) | 2018-06-26 | Paper |
The expressive power of modal dependence logic
(available as arXiv preprint) | 2018-04-23 | Paper |
| Polyteam semantics | 2018-04-06 | Paper |
Polyteam semantics
(available as arXiv preprint) | 2018-04-06 | Paper |
Complexity of propositional logics in team semantic
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
Decidability of predicate logics with team semantics
(available as arXiv preprint) | 2018-03-21 | Paper |
Axiomatizing propositional dependence logics
(available as arXiv preprint) | 2017-08-31 | Paper |
Boolean dependence logic and partially-ordered connectives
Journal of Computer and System Sciences | 2017-06-30 | Paper |
Complexity of validity for propositional dependence logics
Information and Computation | 2017-03-16 | Paper |
Characterizing relative frame definability in team semantics via the universal modality
Logic, Language, Information, and Computation | 2016-09-09 | Paper |
Approximation and dependence via multiteam semantics
Lecture Notes in Computer Science | 2016-05-19 | Paper |
Approximation and dependence via multiteam semantics
Lecture Notes in Computer Science | 2016-05-19 | Paper |
Characterizing frame definability in team semantics via the universal modality
Lecture Notes in Computer Science | 2015-09-24 | Paper |
Complexity of Propositional Independence and Inclusion Logic
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Weak models of distributed computing, with connections to modal logic
Distributed Computing | 2015-03-25 | Paper |
Weak models of distributed computing, with connections to modal logic
Proceedings of the 2012 ACM symposium on Principles of distributed computing | 2014-12-05 | Paper |
Weak models of distributed computing, with connections to modal logic
Proceedings of the 2012 ACM symposium on Principles of distributed computing | 2014-12-05 | Paper |
Complexity of two-variable dependence logic and IF-logic
Information and Computation | 2014-11-28 | Paper |
Undecidable first-order theories of affine geometries
Logical Methods in Computer Science | 2014-01-08 | Paper |
Extended modal dependence logic \(\mathcal{EMDL}\)
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Boolean dependence logic and partially-ordered connectives
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Boolean dependence logic and partially-ordered connectives
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Undecidable First-Order Theories of Affine Geometries
(available as arXiv preprint) | 2012-11-22 | Paper |
