TY  -  
T1  - On elementary logics for quantitative dependencies 
SN  -  /  
UR  - http://hdl.handle.net/10138/349864 
T3  -  
A1  - Hannula, Miika; Hirvonen, Minna; Kontinen, Juha 
A2  -  
PB  -  
Y1  - 2022 
LA  - eng 
AB  - We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable and tractable logics in team semantics that are closed under the Boolean negation. Our logics employ new probabilistic atoms that resemble so-called extended atoms from the team semantics literature. We also define counterparts of our logics over metafinite structures and show that all of our logics can be translated i... 
VO  -  
IS  -  
SP  -  
OP  -  
KW  - Probabilistic team semantics; Dependence logic; Conditional independence; Metafinite structures; INCLUSION; 111 Mathematics 
N1  -   
PP  -  
ER  -