Pietro Galliani

Available identifiers

zbMath Open galliani.pietroMaRDI QIDQ645984

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pietro Galliani