| Publication | Date of Publication | Type |
|---|
| Concept combination in weighted DL | 2024-05-29 | Paper |
Strongly first order, domain independent dependencies: the union-closed case
Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| Repairing socially aggregated ontologies using axiom weakening | 2022-11-02 | Paper |
Embedding causal team languages into predicate logic
Annals of Pure and Applied Logic | 2022-09-16 | Paper |
Doubly strongly first order dependencies
(available as arXiv preprint) | 2022-06-24 | Paper |
Diversity, dependence and independence
Annals of Mathematics and Artificial Intelligence | 2022-02-14 | Paper |
| scientific article; zbMATH DE number 7453077 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453077 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7447734 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-17 | Paper |
| scientific article; zbMATH DE number 7447734 (Why is no real title available?) | 2021-12-17 | Paper |
| Upwards closed dependencies in team semantics | 2021-06-09 | Paper |
Safe dependency atoms and possibility operators in team semantics
Information and Computation | 2021-06-03 | Paper |
Doubly Strongly First Order Dependencies
(available as arXiv preprint) | 2021-05-11 | Paper |
Diversity, dependence and independence
Lecture Notes in Computer Science | 2020-10-26 | Paper |
Dynamic logics of imperfect information: from teams and games to transitions
(available as arXiv preprint) | 2020-07-24 | Paper |
On strongly first-order dependencies
Dependence Logic | 2020-02-04 | Paper |
The doxastic interpretation of team semantics
Logic Without Borders | 2020-02-03 | Paper |
Diversity, Dependence and Independence
(available as arXiv preprint) | 2019-12-06 | Paper |
Characterizing downwards closed, strongly first-order, relativizable dependencies
Journal of Symbolic Logic | 2019-09-17 | Paper |
Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case
(available as arXiv preprint) | 2019-02-20 | Paper |
Safe Dependency Atoms and Possibility Operators in Team Semantics
(available as arXiv preprint) | 2018-08-02 | Paper |
Hierarchies in independence logic
(available as arXiv preprint) | 2017-02-02 | Paper |
scientific article; zbMATH DE number 6680142 (Why is no real title available?)
(available as arXiv preprint) | 2017-02-02 | Paper |
Upwards closed dependencies in team semantics
Information and Computation | 2015-12-07 | Paper |
On dependence logic
Outstanding Contributions to Logic | 2015-05-11 | Paper |
The dynamification of modal dependence logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
Transition semantics: the dynamics of dependence logic
Synthese | 2015-01-08 | Paper |
Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information
Studia Logica | 2013-06-13 | Paper |
Epistemic operators in dependence logic
Studia Logica | 2013-06-13 | Paper |
General models and entailment semantics for independence logic
Notre Dame Journal of Formal Logic | 2013-04-25 | Paper |
| Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics | 2012-06-28 | Paper |
| A general proof system for logics of imperfect information | 2012-01-27 | Paper |
Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
Annals of Pure and Applied Logic | 2011-11-11 | Paper |
Sensible semantics of imperfect information. On a formal feature of meanings
Logic and Its Applications | 2010-12-17 | Paper |
