In the past few years, a tight connection has emerged between logics of dependency and logics of questions. The aim of this paper is to show that this connection stems from a fundamental relation existing between dependency and questions. Once we expand our view on logic by bringing questions into the picture, dependency emerges as a facet of the fundamental logical notion of entailment, namely entailment among questions. Besides providing an insightful conceptual picture, this perspective yields a general and well-behaved way of dealing with dependency in logical systems.

Dependency as Question Entailment

Ciardelli I
2016

Abstract

In the past few years, a tight connection has emerged between logics of dependency and logics of questions. The aim of this paper is to show that this connection stems from a fundamental relation existing between dependency and questions. Once we expand our view on logic by bringing questions into the picture, dependency emerges as a facet of the fundamental logical notion of entailment, namely entailment among questions. Besides providing an insightful conceptual picture, this perspective yields a general and well-behaved way of dealing with dependency in logical systems.
2016
Dependence Logic: theory and applications
978-3-319-31801-1
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11577/3453971
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact