The Logic Tea Seminar is superseded by the LUNCH seminar.

the logic tea

The Logic Tea was a series of talks on topics in philosophy, linguistics, mathematics, computer science and related fields of interest. In particular, it addressed the Masters of Logic and PhD candidates of the Institute for Logic, Language, and Computation.

The series covers a wide variety of topics reflecting the diverse and interdisciplinary character of the Institute. Speakers included members of the ILLC as well as guests from other universities and research institutions.

list of talks

Mauricio Martel (University of Bremen) Conservative Extensions in Guarded and Two-Variable Fragments
Frederik Lauridsen Linnaean Logic: a friendly introduction to systematic proof theory.
Dieuwke Hupkes & Sara Veldhoen Diagnostic classifiers: revealing how neural networks process hierarchical structure
Aysenur Bilgin Computing With Words: A Fuzzy Logic Perspective
Bastiaan van der Weij A probabilistic model of the perception of rhythmic structure in music
Robert White Robot Ethical Training with Dynamic Ethical Preference Logic
Philip Schulz Doing Bayesian Inference
Luca Incurvati Is Negation in Denial?
Ellen Breitholtz Enthymemes in Dialogue - a micro-rhetorical perspective on conversation
Julian Schloeder English Intonational Meaning in Context
Malvin Gattinger From Muddy Children to Sum and Product in a few seconds -- Symbolic Model Checking for Dynamic Epistemic Logic.
Paul Van Eecke Modelling Cultural Language Evolution: the Language Game Paradigm
Paolo Galeazzi Play Without Regret: A Talk About Rationality
Michal Tomasz Godziszewski Learnability in the Limit and Low Sets meet the Church Thesis
Marcos Cramer The Naproche system: Proof-checking mathematical texts in controlled natural language
Merlin Carl Infinite Time Algorithmic Randomness
Joshua Sack A coalgebraic approach to graded modal logic and graded bisimilarity
Janine Reinert Expressive Limitations in Hybrid Approaches to Possible and Impossible Worlds
Benno van den Berg How constructive is nonstandard arithmetic?
Ronald de Haan Real-Life Oracles
Roosmarijn Goldbach Modelling Democratic Deliberation
Zhenhao Li Structures that permit minimal Turing degrees
Daniel Altshuler (Duesseldorf) Using 'Now' and the Present Tense to Talk about the Past
Guillaume Thomas Count/mass coercion in TTR
Paolo Mancosu In good company? On Hume's principle and the assignment of numbers to infinite concepts
Julian Kiverstein Coordination and Common Ground
Karoly Varasdi Classifying incomplete entities
Jakub Szymanik Computational Feasibility of Epistemic Formalisms
Michael Franke The Use of Quantifiers: Set Size & Typicalityhere
Dominik Klein Epistemic Logic and Category Theory
Alessandra Marra A dynamic perspective on obligations; The case of the Miners' Paradox
Luca Spada Many-valued logics: an overview with motivations, tools, and open problems
Zoe Christoff Social Influence without Transparency
Jonathan Shaheen Ambiguity Tests and the Lexicon
Emiliano Lorini Ockhamist Propositional Dynamic Logic
Kasper Christensen Etchemendy on Kripke Semanticshere
Bryan Renne The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence
Oliver Kutz Connecting Logics
Elliott Wagner The Emergence of Semantic Meaning in Finite Populations
Catrin Campbell-Moore Type-free, Predicate Approaches to Probability here
Thomas Brouwer Rejection and Irrationality
Vlasta Sikimic Interfering in the Dispute between Carroll's Achilles and the Tortoise: Possible Ground for an Improvement of Inferential Semanticshere
Kohei Kishida A Sequent Calculus for Aristotle's Syllogistic
Mathias Madsen Logic as a Social Science: A Grammatical Case Study
Takanori Hida A Computational Interpretation of the Axiom of Determinacy in Arithmetic
Zhenhao Li Computable Functionals on the Countable Ordinals
Virginie Fiutek Playing for Knowledge
Marion Haemmerli The Issue of Perspectivality in Formal Theories of Spatial Representation
Sumit Sourabh (ILLC) Algebraic correspondence for Intuitionistic modal logic
Fenner Tanswell (ILLC) Benacerraf and Formalisation
Fabrice Correia (Universite de Geneve) Logical Grounds
Aleks Knoks and Riccardo Pinosio (ILLC) Default Reasoning: Abnormality Minimization and Tableaux
Christian Schaffner (ILLC) Position-Based Cryptography
Yurii Khomskii (ILLC) Regularity Properties and Definability
Bert Baumgaertner (UC Davis) Vagueness and Interaction Effects
Marta Sznajder (LMU Munich) Formal semantics for intensional transitive verbs
Giovanni Cinà Best System Account of Natural Laws and the Formalization of Scientific Theories
David Lanius Vagueness and Unforeseeability
Carlos León Aznar (Universität Hamburg) A Computational Model for Automated Extraction of Structural Schemas from Simple Narrative Plots
Stefan Minica (ILLC) Computing Minimal (Probabilistic) Issue Models
Christian Kiesow (Technische Universität Berlin) Video Interaction Analysis of Mathematical Practice
Umberto Grandi (ILLC) From Individual to Collective Rationality
Johannes Marti (ILLC) Adding Semantic Facts to Kripke Models
Niki Pfeifer (Munich Center for Mathematical Philosophy) Combining formal epistemology and the psychology of reasoning
Kasper Christensen and Bruno Jacinto (ILLC) Actualism, Necessity, and Logical Consequence
Lucian Zagan (ILLC) Vagueness, Bivalence, and What Is Said.
Peter Fritz (ILLC) A Logic for Two-Dimensional Semantics.
Johannes Marti (ILLC) Relation Liftings in Coalgebraic Modal Logic.
Alexandru Marcoci (ILLC) The Surprise Examination Paradox in Dynamic Epistemic Logic.
Paula Henk (ILLC) An alternative proof of the arithmetical completeness of GL.
Szymon Klarman (Vrije Universiteit Amsterdam) From another viewpoint: two-dimensional Description Logics for contextual reasoning and knowledge integration.
Gillman Payette (University of Calgary) Prolegomena to a Logic of Norms.
Gideon Borensztajn (ILLC) Pointers in the brain: What the systematicity of language tells about cortical connectivity and connectionism.
Inés Crespo (ILLC) Against degree-based semantics for taste.
Bruno Loff (CWI - ILLC) The Theory of Real Recursive Functions.
Stéphane Airiau (ILLC) Incorporating Learning in BDI agents. Paper
Matthew Wampler-Doty (ILLC) EviL (Evidentialist Logic)
António Zilhão (University of Lisbon) The mind-body problem in the first decade of the twenty-first century: a guided tour through the physicalistic landscape.
João Marcos (DIMAp/UFRN, Brazil) What is a Non-truth-functional Logic?
Mathias Madsen (University of Copenhagen) The limits of formal language models
Margaux Smets (ILLC) Using DOP to extract syntactic categories
Cédric Dégremont (ILLC) Agreement theorems in dynamic-epistemic logic
Sam van Gool (ILLC) Canonical extensions, Polarities, and Counterterrorism
Nina Gierasimczuk (ILLC) What makes a good teacher? A computational study
Antonio Montalban (University of Chicago) The boundary of Determinacy in Second Order Arithmetic
Lisa Fulford (ILLC) Modular Canonicity for Bi-implicative Algebras
Jan Heylen (University of Leuven) Collapse and slingshot arguments in intensional logic and arithmetic.
Maxim Khalilov (ILLC) Syntax-based reordering model for statistical machine translation.
George Barmpalias (ILLC) Computability and Randomness.
Spencer Johnston and Sara Uckelman (ILLC) John Buridan's Sophismata and interval temporal semantics.
Sonja Smets (Rijksuniversiteit Groningen) When Logic Meets Physics.
Lorenz Demey (ILLC) It is easy to see that...
Jonathan Zvesper (ILLC) Softening Rational Dynamics.
Sebastian Lutz (University of Utrecht) Semantic and Syntactic Descriptions of Theories and Models.
Daisuke Ikegami (ILLC & University of Münster) Infinite games with imperfect information.
Michael De (University of St Andrews) What is wrong with boolean negation?
Sara Ramezani (MoL) Nash Social Welfare in Multiagent Resource Allocation Thesis
Amélie Gheerbrant (ILLC) Complete Axiomatizations of fragments of MSO on Finite Trees Paper
Jakub Szymanik (ILLC) Automata, Quantifiers and Natural Language Comprehension Paper
Corina Strössner (Universität des Saarlandes) The Meaning of Being Normal
Martin Bentzen (Roskilde University and ILLC) Judging Free Agents - Towards a Formal Theory of Responsibility
Walter Carnielli (CLE-State University of Campinas and ICR-University of Luxembourg) Sewing Logics Together: the possible-translations semantics and new meanings for old logics
Xavier Caicedo (Universidad de los Andes) A Characterization of a First-Order Lukasiewicz Logic
Sebastian Sequoiah-Grayson (University Leuven) A Procedural Interpretation of Split Negation
Michael Franke (ILLC) Credible information and implicatures: Where pragmatics adds to game theory
Salvador Mascarenhas (ILLC) Inquisitive Semantics and Logic
Catarina Dutilh Novaes (ILLC) Controversies on the notion of Formal/Logical consequence
Edgar Andrade (ILLC) On some formalizations of Aristotelian syllogistics
Rosja Mastop (Utrecht) Doing away with the force-content distinction
Gideon Borensztajn Do children's grammars grow more abstract with age?
Krzysztof Apt (CWI and ILLC) How to Write a Good Article: Some Suggestions slides from the talk
Luc Segoufin (INRIA Futurs) Order Invariance over Finite Structures
Erik Rietveld (ILLC) Situated and Lived Normativity
Ramasubramanian Sharma Hetvâbhâsa and Theory of Negation in Indian Logic
Simon Kramer (Polytechnique) The Intended and Actual Meaning of a Cryptographic Message and Protocol
Wouter Koolen-Wijkstra (ILLC & CWI) Discovering the Truth by Conducting Experiments
Sonja Smets (VUB) Dynamic-Epistemic Quantum Logic
Ulle Endriss (ILLC) Abstract Models for Dialogue Protocols
Eva Wilhelmus, University of Bonn Formalizability and knowledge ascriptions in mathematical practice
Dennis Bonnay (IHPST/DEC Paris) What is a logical constant?
Tiago de Lima (Toulouse) A tableau method for public announcement logics
Patrick Girard (Stanford) Ceteris Paribus Clauses: Normal or Equal?
Hans van Ditmarsch (Otago) Arbitrary announcement logic
Edward N. Zalta (Stanford) Convergence in the Philosophy of Mathematics
Peter van Emde Boas (ILLC) Wij Juliana, ....
Ioanna Dimitriou (University of Bonn) Symmetric models of ZF-set theory and some applications
Stephen Read (St.Andrews) Thomas Bradwardine and a fourteenth-century solution to the semantic paradoxes
Sujata Ghosh (ILLC) Belief-Disbelief Interface: A Bi-logical Approach
Simon Huttegger (Konrad Lorenz Institute for Evolution and Cognition Research) Dynamics of Signaling Games
R. Ramanujam (Chennai Institute of Mathematical Sciences) Security Protocols: A Logical Quagmire
Tadeusz Litak (Japan Advanced Institute of Science and Technology) Algebraization of $\mathcal{H}(\downarrow,@)$ and the Bounded Fragment
Olivier Roy (ILLC) From Decision Theory to Belief Dynamics
Dick de Jongh & Krister Segerberg (ILLC & Uppsala) Part I: Kripke frames, Heyting Algebras, reductions and duality
Part II: Remembrances of the p-morphism in times past