Pietro Galliani

Available identifiers

zbMath Open galliani.pietroMaRDI QIDQ645984

List of research outcomes

Publication	Date of Publication	Type
Concept combination in weighted DL	2024-05-29	Paper
Strongly first order, domain independent dependencies: the union-closed case	2023-06-02	Paper
Repairing socially aggregated ontologies using axiom weakening	2022-11-02	Paper
Embedding causal team languages into predicate logic	2022-09-16	Paper
Doubly strongly first order dependencies	2022-06-24	Paper
Diversity, dependence and independence	2022-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q5020523	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q3384878	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4992509	2021-06-09	Paper
Safe dependency atoms and possibility operators in team semantics	2021-06-03	Paper
Doubly Strongly First Order Dependencies	2021-05-11	Paper
Diversity, dependence and independence	2020-10-26	Paper
Dynamic Logics of Imperfect Information: From Teams and Games to Transitions	2020-07-24	Paper
On Strongly First-Order Dependencies	2020-02-04	Paper
The Doxastic Interpretation of Team Semantics	2020-02-03	Paper
Diversity, Dependence and Independence	2019-12-06	Paper
CHARACTERIZING DOWNWARDS CLOSED, STRONGLY FIRST-ORDER, RELATIVIZABLE DEPENDENCIES	2019-09-17	Paper
Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case	2019-02-20	Paper
Safe Dependency Atoms and Possibility Operators in Team Semantics	2018-08-02	Paper
Hierarchies in independence logic	2017-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q2958528	2017-02-02	Paper
Upwards closed dependencies in team semantics	2015-12-07	Paper
On Dependence Logic	2015-05-11	Paper
Transition semantics: the dynamics of dependence logic	2015-02-09	Paper
Transition semantics: the dynamics of dependence logic	2015-01-08	Paper
Lottery semantics: a compositional semantics for probabilistic first-order logic with imperfect information	2013-06-13	Paper
Epistemic operators in dependence logic	2013-06-13	Paper
General models and entailment semantics for independence 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	2011-11-11	Paper
Sensible Semantics of Imperfect Information	2010-12-17	Paper

Research outcomes over time

This page was built for person: Pietro Galliani