University of Wroclaw

XIX Conference Applications of Logic in Philosophy and the Foundations of Mathematics

May 5-9, 2014
Szklarska Poręba
Poland

Program

Uwaga. Symbol (EN) przy nazwisku referenta znaczy, że (w razie obecności zainteresowa­nych gości zagranicznych) referat będzie przedstawiony w języku angielskim. Symbol (PL) znaczy, że referat będzie zaprezentowany w języku polskim.
Note. (EN) means that the talk is presented in English, (PL) – in Polish.
Przerwa = przerwa na kawę, herbatę + ciasteczko.

Od godziny 14:00 do wieczora rejestracja uczestników w Ośrodku Konferencyjno-Szkoleniowym „Olimp” w Szklarskiej Porębie, ul. 1 Maja 62.
Registration – from 2:00 PM.

8⁵⁵ - Otwarcie konferencji
       Sesja przedpołudniowa
9⁰⁰ - Katarzyna Budzyńska, Chris Reed (EN), Inference Anchoring Theory. Philosophical Foundations.
9⁵⁰ - Dariusz Surowik (EN), Logic, Knowledge and Time.
10⁴⁰ - Przerwa (Coffee Break)
11¹⁰ - Wojciech Dzik, Piotr Wojtylak (EN), Consequence Operations Extending Modal Logic S4.3. Part I.
11⁵⁰ - Zofia Kostrzycka (EN), On Modal Logics Determined by Homogenous Kripke Frames.
12³⁵- Sławomir Kost (EN), Building Countable Frames for some Bimodal Logics.
       Sesja popołudniowa
15⁰⁰ - Magdalena Kacprzak, Anna Sawicka (EN), Software Tool for Lorenzen Natural Dialogue.
15³⁰ - Marcin Selinger (EN), Conductive Arguments.
16⁰⁰ - Robert Trypuz, Piotr Kulicki (EN), Towards a Deontic Logic of Actions and States.
16³⁰ - Przerwa (Coffee Break)
17⁰⁰ - Marek Magdziak (PL), A Logical Theory of Actions.
17⁴⁵ - Tomasz Albiński (PL), Mantiq and Halakha – the “Roads” of Reasoning in Arabic Logic and Rabbinic Logic.
18¹⁵ - Bartłomiej Skowron (PL), Mathematics as a Network. Saunders Mac Lane’s Philosophy of Mathematics.
18⁴⁵ - Elżbieta Magner (PL), A Few Notes on Internal and External Alternative-Indicating Connectives.

       Sesja przedpołudniowa
9⁰⁰ - Katarzyna Budzyńska, Chris Reed (EN), Inference Anchoring Theory. Linguistic Applications.
9⁵⁰ - Dariusz Surowik (EN), Logic, Knowledge and Time. Temporalization of a Logic System.
10⁴⁰ - Przerwa (Coffee Break)
11¹⁰ - Wojciech Dzik, Piotr Wojtylak (EN), Consequence Operations Extending Modal Logic S4.3. Part II.
12⁰⁰ - Tomasz Połacik (EN), Conservativity of Arithmetic and its Subtheories.
12³⁰ - Malgorzata Kruszelnicka (EN), Games for Kripke Models for Intuitionistic First-Order Logic with Strong Negation.
       Popołudnie wolne

       Sesja przedpołudniowa
9⁰⁰ - Katarzyna Budzyńska, Chris Reed (EN), Inference Anchoring Theory. Computational Applications.
9⁵⁰ - Dariusz Surowik (EN), Logic, Knowledge and Time. Alternating-Time Temporal Epistemic Logic and its Applications.
10⁴⁰ - Przerwa (Coffee Break)
11¹⁰ - Marek Nowak (EN), A New Proof of Knaster-Tarski's Fixed Point Theorem.
11⁵⁰ - Andrzej Indrzejczak (EN), Contraction Contracted.
12³⁰ - Kaja Bednarska (EN), Cut Elimination in Hypersequent Calculi for S5.
       Sesja popołudniowa
15⁰⁰ - Jacek Wawer (EN), The Object-Language Analysis of Speech Acts.
15³⁵ - Przemysław Andrzej Wałęga (EN), Complexity of Qualitative Spatial Reasoning.
16⁰⁵ - Eugeniusz Wojciechowski (PL, slides in EN), Names, Relations and the Rule of Categorial Shift.
16³⁰ - Przerwa (Coffee Break)
17⁰⁰ - Szymon Chlebowski (PL), Erotetic Calculi, Cut Rule, and the Minimal LFI.
17³⁰ - Kazimierz Czarnota (PL), Nonstandard Hierarchy of Infinite Sets.
18⁰⁰ - Weronika Pelec (PL), Some Philosophical Remarks on Completeness in the Sense of Halldén.
18³⁰ - Edward Bryniarski (PL), The Logic of Conceiving of the Sentential Schemes.

       Sesja przedpołudniowa
9⁰⁰ - Mustafa Yıldırım (EN), Evidence and Philosophizing in Logic.
9²⁵ - Süleyman Aydın (EN), Value Priorities in Logical Reasoning.
9⁵⁰ - Szymon Chlebowski, Andrzej Gajda (EN), Abductive Questions and Their Complexity.
10²⁰ - Monika Twardak (EN), Applications of Fuzzy Logic in Artificial Intelligence.
10⁴⁰ - Przerwa (Coffee Break)
11¹⁰ - Anna Bień (EN), On the Determinant of Hexagonal Grids H_n,k.
11⁴⁰ - Marcin Łazarz, Krzysztof Siemieńczuk (EN), A Characterization of Distributive Lattices of Finite Length.
12¹⁰ - Jan Zygmunt in collaboration with Robert Purdy (PL), Adolf Lindenbaum: His Logical and Mathematical Work.
       Zamknięcie konferencji