Searched for: subject%3A%22Inquisitive%255C%2Blogic%22
(1 - 2 of 2)
Ciardelli, Ivano (author), Iemhoff, Rosalie (author), Yang, F. (author)
In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we...
journal article 2020
Yang, F. (author)
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula in the language of inquisitive logic with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of propositional dependence logic without these two connectives....
journal article 2017