Note. (EN) means that the talk is presented in English, (PL) – in Polish.

Monday, 6 May 2024

Registration – from 2:00 PM.

19⁰⁰ -     Dinner

Tuesday, 7 May 2024

  8⁵⁵ -     Opening of the conference

              Morning session

  9⁰⁰ -      Manuel António Martins (EN), Modal Structures over Lattices (keynote lecture).

10⁰⁰ -      Andrzej Indrzejczak (EN), When Epsilon Meets Lambda: Extended Leśniewski's Ontology.

10³⁰ -      Coffee Break

11⁰⁰ -     “Janusz Czelakowski on Logical Consequence” by J. Malinowski and R. Palczewski—book presentation (EN).

11²⁰ -     Janusz Czelakowski (EN), Goldbach’s Conjecture Is True.

12⁰⁰ -     Tomasz Jarmużek, Michał Oleksowicz (EN), Generalization of Classical Syllogistic: Applications and Tableaux.

12³⁰ -     Andrzej Pietruszczak (PL, slides in EN), The Calculus of Names—The Legacy of Jan Łukasiewicz.

13⁰⁰ -     Lunch

              Afternoon session    

15⁰⁰ -     Elżbieta Magner (PL), A Few Comments about the Connective "Aczkolwiek" in Polish.

15³⁰ -     Rafał Palczewski (PL), Acceptance and the Weak Assertions.

16⁰⁰ -     Anna Wójtowicz, Krzysztof Wójtowicz (PL) The Conditional Connective from the Point of View of Inferentialism.

16³⁰ -     Coffee Break

17⁰⁰ -     Anna Wójtowicz, Krzysztof Wójtowicz (EN), Credence of Conditionals—A Network Approach.

17³⁰ -     Zofia Hałęza (EN), Daniela Gromska’s Influence on Polish Philosophy.

18⁰⁰ -     Jacek Malinowski, Adam Trybus (EN), History of Studia Logica.

19⁰⁰ -     Dinner

Wednesday, 8 May 2024

                Morning session

  9⁰⁰ -     Andrzej Wiśniewski (EN), Knowledge in View of Multimodal Epistemic Logics (keynote lecture).

10⁰⁰ -     Michał Zawidzki (EN), Complexity-Optimal Decision Procedure for Modal Logic with Identity.

10³⁰ -     Coffee Break

11⁰⁰ -     Urszula Wybraniec-Skardowska (EN), A Solution to the Problem of the Meaning of ‘Meaning’.

11³⁰ -     Przemysław A. Wałęga (EN), Referring to Modal Worlds via Definite Descriptions.

12⁰⁰ -     Szymon Chlebowski (EN), Some Extensions of Intuitionistic Logic with Identity.

12³⁰ -     Adam Kolany (EN), The General Recursion Theorem with a Bunch of Quite Simple Examples.

13⁰⁰ -     Lunch

               Free Time

20⁰⁰ -     Gala Dinner

Thursday, 9 May 2024

              Morning session

  9⁰⁰ -     Andrzej Wiśniewski (EN), Paradoxes of Multimodal Epistemic Logic: Doxastic Infallibility, Doxastic Omnipotence, and More (keynote lecture).

10⁰⁰ -     Tomasz Jarmużek, Michał Oleksowicz (EN), Blocking Fitch’s Paradox: A Three-Valued Approach.

10³⁰ -     Coffee Break

11⁰⁰ -     Ivo Pezlar (EN), A Logic of Judgmental Existence and Its Relation to Proof Irrelevance.

11³⁰ -     Kamil Cekiera (EN), Conceptual Engineering and Semantic Holism.

12⁰⁰ -     Nina Kolasa (EN), Temporal Mereology without the Notion of Time.

12³⁰ -     Antoni Antoszek (EN), Representing Everyday Predictions in the Thin Red Line Semantics.

13⁰⁰ -       Lunch

              Afternoon session

15⁰⁰ -     Marek Magdziak (PL), Existence, Reality and Fiction.

15³⁰ -     Irena Trzcieniecka-Schneider (PL), Some Formal Aspects of the Concept of Stupidity.

16⁰⁰ -     Marcin Selinger (PL), The Principle of Proportionality in Research on Argument Strength.

16³⁰ -     Przerwa (Coffee Break)

17⁰⁰ -     Eugeniusz Wojciechowski (PL), On Disposition Terms.

17³⁰ -     Paweł Chłosta (PL, slides in EN), The Use of Strict, Binary Algebraic Formulas in Proving the Laws of Propositional Calculus.

18⁰⁰ -     Jacek Malinowski, Adam Trybus (EN), Trends in Logic Conferences—A History.

19⁰⁰ -       Dinner

Friday, 10 May 2024

             Morning session

  9⁰⁰ -     Leonard Kupś, Dorota Leszczyńska-Jasion (EN), Hypersequents and the Method of Socratic Proofs for Propositional Linear Temporal Logic.

  9³⁰ -     Andrzej Indrzejczak, Yaroslav Petrukhin (EN), Bisequent Calculi for Neutral Free Logic with Definite Descriptions.

10⁰⁰ -     Patryk Michalczenia (EN), Subnormal Modal Logics and Hyperintensionality.

10³⁰ -     Coffee Break

11⁰⁰ -     Bartłomiej Uzar (EN), Two Formal Interpretations of Edward Zalta’s Abstract Object Theory. Comparison of Semantics by Scott and by Aczel.

11³⁰ -     Kordula Świętorzecka (EN), Gödel’s ‘Ontologisher Beweis’ Enriched. Positiveness and Quantity of Reality.

12⁰⁰ -     Closing of the conference

13⁰⁰ -       Lunch