The conference programme will start on Monday, May 27, around 9:30 am (at Planetarium); 10:00 first talk.

and will conclude on Tuesday, May 28, around 5 pm or earlier (at Faculty of Arts).

The conference dinner will be on May 28, at 7:00 pm (at Planetarium); come earlier.

Note: IEEE International Symposium on Multiple-Valued Logic, May 28-30, 2024, Brno, the Czech Republic , is an independent event
(only the conference dinner is united with CGL+KGD; at Planetarium).

Programme (pdf)
Book of Abstracts (pdf)

Programme scheme:

Monday 27 May 2024

  • 9:30 welcome ('registration') at Brno Planetarium and Observatory
  • 10:00 invited talk: Andrzej Indrzejczak Proof Systems for Hybrid Logic with Lambda and Iota Operators
  • 11:00 coffee break
  • 11:30 contributed talks: Běhounek; Kuznets
  • 12:30 lunch
  • 14:00 invited talk: Rostislav Horčík A Logical Approach to Explainability for Graph Neural Networks
  • 15:00 coffee break
  • 15:30 contributed talks: Ferguson and Kadlečíková; Sedlár
  • 16:30 coffee break
  • 17:00 contributed talks: Rybaříková; Šebela
  • 18:00 end of the first day

Tue 28 May 2024

  • 9:00 welcome at Faculty of Arts, Masaryk University
  • 9:30 invited talk: Amirhossein Akbar Tabatabai On Gödel's Classical Interpretation of Intuitionism
  • 10:30 coffee break
  • 11:00 contributed talks: Majer and Sedlár; Trlifajová; Šujan
  • 12:30 lunch
  • 14:00 invited talk: Jiří Rosický Stable Independence from the Category Theoretic Point of View
  • 15:00 coffee break
  • 15:30 contributed talks: Vencovská; Jalali; Jankovec, Cintula and Noguera
  • 17:00 end of talks
  • 18:30 coffee at Planetarium
  • 19:00 conference banquet at Planetarium
  • 19:00 Kurt Gödel Prize ceremony for prof. Jiří Rosický

Accepted talks:

Libor Běhounek On the Lottery-style Paradoxes in Positive Free Logics

Filip Jankovec, Petr Cintula and Carles Noguera Łukasiewicz Unbound Logic and its Completeness Theorem

Thomas Ferguson and Jitka Kadlečíková Variations on Monstrous Content

Roman Kuznets A priori Knowledge in Distributed Systems

Raheleh Jalali Is Every Interpolation Procedure Complete?

Zuzana Rybaříková Logical Judgement vs. Sentence vs. Proposition: Formulation of Polish Logical Terminology

Igor Sedlár Algebras for Relevant Reasoners

Ondrej Majer and Igor Sedlár A Logic of Probability Dynamics

Karel Šebela Theory of Concepts and Intensional Interpretation of Aristotelian Logic

Timotej Šujan Structural Differences of Paradoxes of Self-reference

Kateřina Trlifajová Philosophical Reasoning of the Alternative Set Theory

Alena Vencovská Strongest Principles of Pure Inductive Logic

Last update: 28/05/2024.