Dependence Logic
-15%
portes grátis
Dependence Logic
Theory and Applications
Abramsky, Samson; Vollmer, Heribert; Vaeaenaenen, Jouko; Kontinen, Juha
Birkhauser Verlag AG
06/2018
276
Mole
Inglês
9783319811239
15 a 20 dias
4453
Descrição não disponível.
Introduction.- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic.- Vaeaenaenen, Grelling on Dependence.- Galliani, On Strongly First-Order Dependencies.- Graedel, Games for Inclusion Logic and Fixed-Point Logic.- Hodges, Remarks on Compositionality.- Hirvonen, Independence in Model Theory.- Ciardelli, Dependency as Question Entailment.- Link, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data.- Nyman, Pensar, Corander, Context-Specific and Local Independence in Markovian Dependence Structures.- Pacuit, Fang, Dependence and Independence in Social Choice: Arrow's Theorem.- Blass, Introduction to Secret-Sharing.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Dependence Logic;Dependence Atoms;Independence Logic;Inquisitive Logic;Dependencies in Databases;Social Choice Theorem;Theory of Secret-Sharing
Introduction.- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence Logic.- Vaeaenaenen, Grelling on Dependence.- Galliani, On Strongly First-Order Dependencies.- Graedel, Games for Inclusion Logic and Fixed-Point Logic.- Hodges, Remarks on Compositionality.- Hirvonen, Independence in Model Theory.- Ciardelli, Dependency as Question Entailment.- Link, Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data.- Nyman, Pensar, Corander, Context-Specific and Local Independence in Markovian Dependence Structures.- Pacuit, Fang, Dependence and Independence in Social Choice: Arrow's Theorem.- Blass, Introduction to Secret-Sharing.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
