University of Wroclaw

23rd Conference Applications of Logic in Philosophy and the Foundations of Mathematics

You are here: Home > Archiwum > XIX Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

XIX Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

XIX Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki
5-9 maja 2014
Szklarska Poręba

Komitet organizacyjny:

  • Janusz Czelakowski, Uniwersytet Opolski
  • Tomasz Połacik, Uniwersytet Śląski
  • Marcin Selinger, Uniwersytet Wrocławski

oraz osoby odpowiedzialne za e-communication and computer setup:

  • Krzysztof Siemieńczuk, Uniwersytet Wrocławski
  • Bartłomiej Skowron, Uniwersytet Wrocławski 

abstrakty (PDF / 669.86 kb)

lista_uczestnikow (DOC / 32.77 kb)

Zaproszeni goście

Miło nam poinformować, że w gronie zaproszonych gości zbliżającej się konferencji znajdują się

  • Katarzyna Budzyńska, PAN i University of Dundee,
  • Chris Reed, University of Dundee,
  • Dariusz Surowik, Uniwersytet w Białymstoku,

którzy przedstawią cykle referatów:

K. Budzynska, C. Reed, Inference Anchoring Theory:

  • część 1: Philosophical Foundations,
  • część 2: Linguistic Applications,
  • część 3: Computational Applications.

D. Surowik, Logic, Knowledge and Time ( abstract (PDF / 83.15 kb) ):

  • część 1: Logic, Knowledge and Time,
  • część 2: Temporalization of a Logic System,
  • część 3: Alternating-Time Temporal Epistemic Logic and its Applications.


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