# Search results

Electronic Notes in Theoretical Computer Science > 2015 > 312 > Complete > 107-124

Bulletin of the Section of Logic > 2020 > 49 > 3 > 213-230

Bulletin of the Section of Logic > 2020 > 49 > 3 > 255-268

Fundamenta Informaticae > 2019 > Vol. 170, nr 1-3 > 39--92

Bulletin of the Section of Logic > 2019 > 48 > 2 > 99-116

Logic and Logical Philosophy > 2019 > 28 > 2 > 277-330

Logic and Logical Philosophy > 2019 > 28 > 1 > 137-155

Studia Logica > 2019 > 107 > 6 > 1279-1312

*erotetic inferences*—i.e., inferences to and from questions—has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential...

Studia Logica > 2019 > 107 > 4 > 781-808

Archive for Mathematical Logic > 2019 > 58 > 3-4 > 359-385

Studia Logica > 2019 > 107 > 4 > 613-637

Archive for Mathematical Logic > 2019 > 58 > 1-2 > 155-181

Archive for Mathematical Logic > 2019 > 58 > 1-2 > 119-136

Theoretical Computer Science > 2018 > 706 > C > 83-116