Katedra Logiki i Wydział Filozofii KUL zapraszają na XI Jesienną Międzynarodową Konferencję Logiki, która odbędzie się w dniach 29-30 listopada 2019 r. w sali GG208 (Gmach Główny KUL).

XI Autumn Conference in Logic

Advances in Philosophical Logic

November 29-30, 2019, room GG208

FRIDAY

• 10:00 Opening
• 10:15 Keynote lecture 1: Valentin Goranko, How deontic logic ought to be
• 11:15 Krystyna Misiuna, Probabilistic Justification
• 12:00 Lunch
• 13:30 Bartłomiej Kabat, Nieodwracalność przeszłości a logiczny determinizm
• 14:10 Arkadiusz Wójcik, Zjawisko nieudanej aktualizacji a paradoks poznawalności
• 14:50 Andrzej Pietruszczak, Non-standard Kripke-style semantics for the logics CD, CT, KD and KT. A few bimodal logics with models having one accessibility relation
• 15:30 Coffee break
• 16:00 Fengkui Ju and Valentin Goranko, Temporal Logic with Dynamic Contexts
• 19:00 Conference dinner

SATURDAY

• 9:00 Keynote lecture 2: Ondrej Mejer, Non-classical probabilities over Dunn-Belnap logic
• 10:00 Coffee break
• 10:30 Tomasz Jarmużek, Piotr Kulicki, Fine-grained Semantics for Monadic and Dyadic Operators of Ability and Agency: Relating Semantics
• 11:10 Andrzej Malec, Deontic Logics as Axiomatic Extensions of First-Order Predicate Logic
• 12:00 Lunch
• 13:30 Janusz Ciuciura, A lattice of the paraconsistent calculi
• 14:10 Xin Sun, A First Step to the Categorical Logic of Quantum Programs
• 14:50 Ludovica Conti, Russell’s Paradox and free zig-zag solutions
• 15:30 Coffee break
• 16:00 Keynote lecture 3: Antonino Rotolo, Legislative Dialogues
• 17:00 Closing

[program w pliku pdf]

List of speakers

Invited keynote lectures

• Valentin Goranko, Stockholm University
• Ondrej Mejer, The Czech Academy of Sciences, Prague
• Antonino Rotolo, University of Bologna

Contributed talks

• Janusz Ciuciura, University of Łódź
• Ludovica Conti, University of Pavia
• Tomasz Jarmużek, Nicolaus Copernicus University, Toruń
• Fengkui Ju, The John Paul II Catholic University of Lublin & Beijing Normal University
• Bartłomiej Kabat, Jagiellonian University, Cracow
• Piotr Kulicki, The John Paul II Catholic University of Lublin
• Andrzej Malec, Foundation for Computer Science, Logic and Formalized Mathematics
• Krystyna Misiuna, University of Warsaw
• Andrzej Pietruszczak, Nicolaus Copernicus University, Toruń
• Xin Sun, The John Paul II Catholic University of Lublin
• Arkadiusz Wójcik, University of Białystok