Seminars

2017

28.06.2017 (Szymon Frankowski) Wielowartościowe logiki modalne
31.05.2017 (Tomasz Skura) Parakonsystentne odpowiedniki logiki intuicjonistycznej
23.05.2017 [17:00, pok. 70] (João Marcos) Sequent systems for negative modalities
11.01.2017 (Andrzej Wiśniewski) Uogólnione wynikanie a Inferencyjna Logika Pytań

7.12.2016 (Paweł Świeczka) O możliwości stosowania e-scenariuszy do badań nad klasycznymi tekstami scholastycznymi (na przykładzie Sumy teologicznej św. Tomasza z Akwinu)
16.11.2016 (Vít Punčochář) Inquisitive semantics and its generalizations
12.10.2016 (Andrzej Wiśniewski) E-scenarios for entailed answers
12.10.2016 (Dorota Leszczyńska-Jasion) Synthetic Tableaux with Unrestricted Cut for First-Order Logic
13.04.2016 (Andrzej Wiśniewski) Deduction and Reduction Theorems for Inferential Erotetic Logic
27.01.2016 (Dorota Leszczyńska-Jasion) Kilka uwag dotyczących złożoności obliczeniowej metody tabel syntetycznych

09.12.2015 (Andrzej Wiśniewski) Dedukcja i redukcja dla implikacji erotetycznej
18.11.2015 (Adam Kupś, Szymon Chlebowski): Automatic embedding, contraction and repair of Erotetic Search Scenarios. Part 2
04.11.2015 (Paweł Łupkowski): When is it rational to ask a question? In pursuit of question dependency in dialogues
28.10.2015 (Mariusz Urbański, Natalia Maryniaczyk, Paweł Łupkowski) Przetwarzanie pytań w rozwiązywaniu problemów niedobrze określonych
21.10.2015 (Adam Kupś) Combining Apriori algorithm and logical abduction in a search for valuable knowledge. Preliminaries
14.10.2015 (Adam Kupś, Szymon Chlebowski) Automatic embedding, contraction and repair of Erotetic Search Scenarios. Part 1
30.09.2015 (Andrzej Wiśniewski) An Axiomatic Account of Question Evocation. Part 1
29.07.2015 (Dorota Leszczyńska-Jasion, Adam Kupś) The Method of Synthetic Tableaux for Propositional Modal Logics
15.07.2015 (Szymon Chlebowski) A proof-search oriented approach to SCI
01.07.2015 (Andrzej Wiśniewski) Strong entailments and minimally inconsistent sets
22.04.2015 (Szymon Chlebowski) Solving Problems in Constructive Logics: Calculi and Erotetic Search Scenarios
25.02.2015 (Dorota Leszczyńska-Jasion) Rachunek sekwentów dla własności bycia W-zbiorem
18.02.2015 (Andrzej Wiśniewski) Strong mc-entailment, part 2
04.02.2015 (Andrzej Wiśniewski) Strong mc-entailment, part 1

19.12.2014 (Adam Kupś) Computational Tools for ESS — development
12.12.2014 (Szymon Chlebowski, Andrzej Gajda) Abductive Question-Answer System for CPL
28.11.2014 (Rafał Szczepiński) Metoda dowodów sokratycznych dla logiki FDE
21.11.2014 (Andrzej Wiśniewski & Mariusz Urbański) On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
14.11.2014 (Dorota Leszczyńska-Jasion) Socratic translations: the case of analytic tableaux (part 2)
7.11.2014 (Dorota Leszczyńska-Jasion) Socratic translations: the case of analytic tableaux (part 1)
24.10.2014 (Adam Kupś) Computational Tools for ESS — introduction
26.06.2014 (Dorota Leszczyńska-Jasion & Adam Kupś) Synthetic tableaux for K
18.06.2014 (Paweł Łupkowski & Dorota Leszczyńska-Jasion) Generating cooperative question-responses by means of erotetic search scenarios
12.06.2014 (Szymon Chlebowski, Dorota Leszczyńska-Jasion) Dual Erotetic Calculi and the Minimal LFI
12.05.2014 (Gabriel Sandu): Dependence and independence of quantifiers
5.06.2014 (Szymon Chlebowski) Structural Erotetic Calculi and the Minimal LFI
8.05.2014 (Tomasz Skura, Andrzej Wiśniewski) A System for Proper Multi-Conclusion Entailment
23.01.2014 (Szymon Chlebowski) Erotetic Implication for mbC and mCi
9.01.2014 (Szymon Chlebowski) Refutation Erotetic Calculi

12.12.2013 (Katarzyna Paluszkiewicz) The Erotetic Theory of Reasoning
28.11.2013 (Dorota Leszczyńska-Jasion, Paweł Łupkowski) A bunch of ideas on the costs of generating standard e-scenarios
14.11.2013 (Adam Kupś, Dorota Leszczyńska-Jasion, Mariusz Urbański) Identifying efficient abductive hypotheses using multi-criteria dominance relation (Part 2)
7.11.2013 (Adam Kupś, Dorota Leszczyńska-Jasion, Mariusz Urbański) Identifying efficient abductive hypotheses using multi-criteria dominance relation (Part 1)
17.10.2013 (Mariusz Urbański) Erotetic inferences and formal modeling of deductive problem-solving
1.07.2013 (Paweł Łupkowski) Compliance vs Erotetic Implication
5.06.2013 (Szymon Chlebowski), Erotetic calculus for logic Mbc+
22.05.2013 (Jiří Raclavský, Masaryk University) Transparent Intensional Logic: introduction
15.05.2013 (Paweł Łupkowski & Dorota Leszczyńska-Jasion) Generating cooperative question-responses by means of erotetic search scenarios. Prolog implementation
8.05.2013 (Mariusz Urbański) Permittance and Erotetic Implication
14.02.2013 (Dorota Leszczyńska-Jasion) Erotetic Search Scenarios as families of sequences and Erotetic Search Scenarios as trees: two different, yet equal accounts

18.10.2012 (Dorota Leszczyńska-Jasion & Paweł Łupkowski) Three valued logic and e-scenarios
23.10.2012 (Dorota Leszczyńska-Jasion) Syntactic Approach to Erotetiic Implication
15.11.2012 (Mariusz Urbański) Erotetic Reasoning, Deductive Reasoning and Fluid Intelligence: a Cross-Curricular Study
22.11.2012 (Paweł Łupkowski) Compliance in Terms of Inquisitive Semantics #1
29.11.2012 (Paweł Łupkowski) Compliance in Terms of Inquisitive Semantics #2