Logica 2019 programme
Logica 2019 – Tentative Programme
Tuesday
chair Vít Punčochář
9:30-10:30 David Makinson: Making Sense of Relevance Logic
10:30-11:00 Eric Raidl: Revision Operator Semantics
coffee break
chair Andrew Tedder
11:15-11:45 Sebastian Sequoiah-Grayson: Negation on the neo-Australian Plan
11:45-12:15 Alexandra Kuncová: Ability and Knowledge
12:15-12:45 Dominik Klein: Logical Approaches to Maximizing Expected Utility
lunch
chair Karel Šebela
14:00-15:00 Ansten Klev: Tutorial on the Curry–Howard Correspondence (Tutorial, Part I)
coffee break
15:15-15:45 Nicholas J.J. Smith: Validity for Alethic Pluralists
15:45-16:15 Berta Grimau and Carles Noguera: Fuzzy Semantics for Graded Predicates
coffee break
chair Joan Bertran-San Millán
16:30-17:00 Libor Běhounek: A Degree-Theoretic Framework for Feasible Knowledge
17:00-17:30 Ulf Hlobil: Expressing Validity: Towards a Self-Sufficient Inferentialism
Wednesday
Chair Ulf Hlobil
9:30-10:30 Alessandra Palmigiano: Logical Foundations of Categorization Theory
10:30-11:00 Frederik Van De Putte: The Logic of Collective Acceptance
coffee break
chair Berta Grimau
11:15-11:45 Davood Hosseini and Mansooreh Kimiagari: Higher-Order Skolem's Paradoxes
11:45-12:15 Guillermo Badia and Christopher Menzel: Why It is Okay to be an Absolutist About Quantification
12:15-12:45 Constantin Brîncuș. Open-ended Quantification and Non-standard Models
lunch
chair Jaroslav Peregrin
14:00-15:00 Ansten Klev: Tutorial on the Curry–Howard Correspondence (Tutorial, Part II)
coffee break
15:15-15:45 Iulian Toader: Quantum Logic Against Anti-Exceptionalism
15:45-16:15 Simon Brausch: Dialogical Criteria of Adequate Formalisation
coffee break
chair Frederik van de Putte
16:30-17:00 Joan Bertran-San Millán: Frege and Peano on Axiomatisation
17:00-17:30 Karel Šebela: Sortal Difference and Aristotelian Logic
Thursday
chair Nicholas J.J. Smith
9:30-10:30 Per Martin-Löf: Logic and Ethics
10:30-11:00 Göran Sundholm: Validity of Inference versus Validity of Demonstrations
11:00-11:30 Piotr Błaszczyk: New Science of Infinity
coffee break
chair Carles Noguera
11:45-12:15 Vítězslav Švejdar: Do We Need Recursion?
12:15-12:45 Youan Su and Katsuhiko Sano: Cut-free and Analytic Sequent Calculus of Intuitionistic Epistemic Logic
12:45-13:15 Giulio Guerrieri and Alberto Naibo. Harmony in the Sequent Calculus: The Classical Case
Friday
Chair Sebastian Sequoiah-Grayson
9:30-10:30 David Ripley: A Typed Term Calculus for Core Logic
10:30-11:00 Andrew Tedder: Two Logics of Variable Essences and Descartes’ Creation Doctrine
11:00-11:30 Mirko Engler: Logical Truth Without Truth
coffee break
chair Igor Sedlár
11:45-12:15 Preston Stovall: Proof-Theoretic Semantics and the Interpretation of Atomic Sentences
12:15-12:45 Ondrej Majer, Dominik Klein and Soroush Rafiee Rad: Reasoning in Four Valued Probabilities
12:45-13:15 Pablo Cobreros: Inferences and Metainferences in ST