University of Wroclaw

  8⁵⁵ -    Otwarcie konferencji

            Sesja przedpołudniowa

  9⁰⁰ -    Andrzej Indrzejczak, Definite Descriptions and Proof Theory, Part I.

10⁰⁰ -    Janusz Kaczmarek, On Lattices of Situations and Wittgenstein's Topology.

10⁴⁰ -    Przerwa (Coffee Break)

11¹⁰ -    Tomasz Jarmużek, Jacek Malinowski, Boolean Connexive Logics.

11⁴⁰ -    Jacek Hawranek, Marcin Łazarz, Wroński's Sum of Modular Lattices.

12¹⁰ -    Anna Bień, Gamma Graphs of Trees.

12⁴⁰ -    Elżbieta Magner, The Connective “czy” in Polish Viewed as a Conjunction.

13⁰⁰ -     Obiad (Lunch)

            The Bryll Session

15⁰⁰ -    Alina Bryll, Arkadiusz Bryll, Recent Scholarly Activity of Professor Grzegorz Bryll.

15²⁰ -    Robert Sochacki, Professor’s Bryll Scientific Activity.

15⁵⁰ -    Zofia Kostrzycka, Formal Research on the Logic of the Stoics.

16²⁰ -    Andrzej Pietruszczak, Frege's and Leśniewski's Concepts of Being an Element and Their Connection with Russell's Paradox.

16⁵⁰ -    Przerwa (Coffee Break)

17²⁰ -    Sesja wspomnieniowa

19¹⁰ -     Kolacja (Dinner)

Środa (Wednesday), 9 maja 2018

            Sesja przedpołudniowa

  9⁰⁰ -    Andrzej Indrzejczak, Definite Descriptions and Proof Theory, Part II.

10⁰⁰ -    Piotr Wojtylak, Wojciech Dzik, Unification in Predicate Modal Logics.

10⁵⁰ -    Przerwa (Coffee Break)

11²⁰ -    Wiesław Kubiś, The Weak Amalgamation Property.

11⁵⁰ -    Michał Stronkowski, Deciding (Active) Structural Completeness.

12²⁰ -    Michał Zawidzki, Mosaic-Based Decidability of a Logic of Order-Of-Magnitude.

13⁰⁰ -     Obiad (Lunch)

            Popołudnie wolne (Free Time)

20⁰⁰ -    Uroczysta kolacja (Gala Dinner)

Czwartek (Thursday), 10 maja 2018

            Sesja przedpołudniowa

  9⁰⁰ -    Piotr Błaszczyk, Trends in the History of Infinity, Part I.

  9⁴⁰-     Tomasz Furmanowski, Goodbye, Dedekind.

10¹⁰ -    Eugeniusz Wojciechowski, Elementary Ontology with Frege's Predication Scheme: Distributive Classes and Collective Classes.

10⁴⁰ -    Przerwa (Coffee Break)

11¹⁰ -    Marek Magdziak, An Outline of Logical Analysis of the Concept of Value.

11⁵⁰ -    Marcin Drofiszyn, A Deontic Logic for Normative Dilemmas.

12¹⁰ -    Zofia Hałęza, Logic and Method in Gassendi and in School of Port-Royal.

12³⁰ -    Grzegorz Trela, Metaphilosophical Controversy about Logic. Selected Interpretations.

13⁰⁰ -     Obiad (Lunch)

            Popołudnie wolne (Free Time)

19⁰⁰ -     Kolacja (Dinner)

Piątek (Friday), 11 maja 2018

            Sesja przedpołudniowa

  9⁰⁰ -    Piotr Błaszczyk, Trends in the History of Infinity, Part II.

  9⁴⁰ -   Tomasz Jarmużek, Krzysztof A. Krawczyk, Solution to the Fitch Paradox Based on De Re Knowability Modality.

10¹⁰ -    Krystyna Mruczek-Nasieniewska, Marek Nasieniewski, Andrzej Pietruszczak, On Modalities in the Context of Discussive Logics.

10⁴⁰ -    Przerwa (Coffee Break)

11¹⁰ -    Tomasz Połacik, Conservativity of Classical Set Theory over Its Constructive Counterpart.

11⁴⁰ -    Tomasz Witczak, Intuitionistic Modal Logic in Neighborhood and Bi-Relational Setting.

12¹⁰ -    Marcin Selinger, Relation of Attack.

12⁴⁰ -    Zamknięcie konferencji

13⁰⁰ -     Obiad (Lunch)