[program w pliku pdf]  [program w pliku png]

 

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.

 

 

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

 

 

 

 

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

 

 

 

Autor: Andrzej Zykubek
Ostatnia aktualizacja: 26.11.2019, godz. 13:27 - Andrzej Zykubek