On Dependence Logic

Por • 6 jun, 2013 • Sección: Educacion

Pietro Galliani, Jouko Väänänen

Abstract: We give an overview of some developments in dependence and independence logic. This is a tiny selection, intended for a newcomer, from a rapidly growing literature on the topic. Furthermore, we discuss conditional independence atoms and we prove that conditional and non-conditional independence logic are equivalent. Finally, we briefly discuss an application of our logics to belief representation.

arXiv:1305.5948v1 [math.LO]

Post to Twitter

Etiquetado con: , , , ,

Escribe un comentario