University of Wroclaw

24th Conference Applications of Logic in Philosophy and the Foundations of Mathematics

You are here: Home > History > XIX Conference Applications of Logic in Philosophy and the Foundations of Mathematics

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

May 5-9, 2014
Szklarska Poręba
Poland

The organizing committee:

  • Janusz Czelakowski, Opole University
  • Tomasz Połacik, University of Silesia
  • Marcin Selinger, Wrocław University

e-communication and computer setup:

  • Krzysztof Siemieńczuk, Wrocław University
  • Bartłomiej Skowron, Wrocław University  

 

 

 

 

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.

Poniedziałek (Monday), 5 maja 2014


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.

Wtorek (Tuesday), 6 maja 2014


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

Środa (Wednesday), 7 maja 2014


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

Czwartek (Thursday), 8 maja 2014


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

Piątek (Friday), 9 maja 2014

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