# LogicTea

The Logic Tea is a series of talks for students in philosophy, mathematics, computer science, artificial intelligence and related fields of interest. In particular, it addresses the Masters of Logic and PhD students of the Institute for Logic, Language, and Computation.

The series covers a large variety of topics reflecting the diverse and interdisciplinary character of the Institute. Speakers are mainly students or staff of the ILLC, but also visitors from other universities and research institutions. The talks aim at being accessible to the entire ILLC audience.

Talks will last about one hour, tea and cookies are available. Afterwards you are welcome to join for drinks in the 'Cafe Polder' within walking distance from Building 107 in Science Park.

For further information, for suggestions, or if you would like to give a presentation at the Logic Tea yourself, please send an email to Thomas Brochhagen, Johannes Marti, Maša Močnik or Julian Schlöder.

## next talk:

 No talks are currently scheduled

## past talks:

Michal Tomasz Godziszewski Learnability in the Limit and Low Sets meet the Church Thesis The Naproche system: Proof-checking mathematical texts in controlled natural language Infinite Time Algorithmic Randomness A coalgebraic approach to graded modal logic and graded bisimilarity Expressive Limitations in Hybrid Approaches to Possible and Impossible Worlds How constructive is nonstandard arithmetic? Real-Life Oracles Modelling Democratic Deliberation Structures that permit minimal Turing degrees Using 'Now' and the Present Tense to Talk about the Past Count/mass coercion in TTR In good company? On Hume's principle and the assignment of numbers to infinite concepts Coordination and Common Ground Classifying incomplete entities Computational Feasibility of Epistemic Formalisms The Use of Quantifiers: Set Size & Typicalityhere Epistemic Logic and Category Theory A dynamic perspective on obligations; The case of the Miners' Paradox Many-valued logics: an overview with motivations, tools, and open problems Social Influence without Transparency Ambiguity Tests and the Lexicon Ockhamist Propositional Dynamic Logic Etchemendy on Kripke Semanticshere The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence Connecting Logics The Emergence of Semantic Meaning in Finite Populations Type-free, Predicate Approaches to Probability here Rejection and Irrationality Interfering in the Dispute between Carroll's Achilles and the Tortoise: Possible Ground for an Improvement of Inferential Semanticshere A Sequent Calculus for Aristotle's Syllogistic Logic as a Social Science: A Grammatical Case Study A Computational Interpretation of the Axiom of Determinacy in Arithmetic Computable Functionals on the Countable Ordinals Playing for Knowledge The Issue of Perspectivality in Formal Theories of Spatial Representation Algebraic correspondence for Intuitionistic modal logic Benacerraf and Formalisation Logical Grounds Default Reasoning: Abnormality Minimization and Tableaux Position-Based Cryptography Regularity Properties and Definability Vagueness and Interaction Effects Formal semantics for intensional transitive verbs Best System Account of Natural Laws and the Formalization of Scientific Theories Vagueness and Unforeseeability A Computational Model for Automated Extraction of Structural Schemas from Simple Narrative Plots Computing Minimal (Probabilistic) Issue Models Video Interaction Analysis of Mathematical Practice From Individual to Collective Rationality Adding Semantic Facts to Kripke Models Combining formal epistemology and the psychology of reasoning Actualism, Necessity, and Logical Consequence Vagueness, Bivalence, and What Is Said. A Logic for Two-Dimensional Semantics. Relation Liftings in Coalgebraic Modal Logic. The Surprise Examination Paradox in Dynamic Epistemic Logic. An alternative proof of the arithmetical completeness of GL. From another viewpoint: two-dimensional Description Logics for contextual reasoning and knowledge integration. Prolegomena to a Logic of Norms. Pointers in the brain: What the systematicity of language tells about cortical connectivity and connectionism. Against degree-based semantics for taste. The Theory of Real Recursive Functions. Incorporating Learning in BDI agents. Paper EviL (Evidentialist Logic) The mind-body problem in the first decade of the twenty-first century: a guided tour through the physicalistic landscape. What is a Non-truth-functional Logic? The limits of formal language models Using DOP to extract syntactic categories Agreement theorems in dynamic-epistemic logic Canonical extensions, Polarities, and Counterterrorism What makes a good teacher? A computational study The boundary of Determinacy in Second Order Arithmetic Modular Canonicity for Bi-implicative Algebras Collapse and slingshot arguments in intensional logic and arithmetic. Syntax-based reordering model for statistical machine translation. Computability and Randomness. John Buridan's Sophismata and interval temporal semantics. When Logic Meets Physics. It is easy to see that... Softening Rational Dynamics. Semantic and Syntactic Descriptions of Theories and Models. Infinite games with imperfect information. What is wrong with boolean negation? Nash Social Welfare in Multiagent Resource Allocation Thesis Complete Axiomatizations of fragments of MSO on Finite Trees Paper Automata, Quantifiers and Natural Language Comprehension Paper The Meaning of Being Normal Judging Free Agents - Towards a Formal Theory of Responsibility Sewing Logics Together: the possible-translations semantics and new meanings for old logics A Characterization of a First-Order Lukasiewicz Logic A Procedural Interpretation of Split Negation Credible information and implicatures: Where pragmatics adds to game theory Inquisitive Semantics and Logic Controversies on the notion of Formal/Logical consequence On some formalizations of Aristotelian syllogistics Doing away with the force-content distinction Do children's grammars grow more abstract with age? How to Write a Good Article: Some Suggestions slides from the talk Order Invariance over Finite Structures Situated and Lived Normativity Hetvâbhâsa and Theory of Negation in Indian Logic The Intended and Actual Meaning of a Cryptographic Message and Protocol Discovering the Truth by Conducting Experiments Dynamic-Epistemic Quantum Logic Abstract Models for Dialogue Protocols Formalizability and knowledge ascriptions in mathematical practice What is a logical constant? A tableau method for public announcement logics Ceteris Paribus Clauses: Normal or Equal? Arbitrary announcement logic Convergence in the Philosophy of Mathematics Wij Juliana, .... Symmetric models of ZF-set theory and some applications Thomas Bradwardine and a fourteenth-century solution to the semantic paradoxes Belief-Disbelief Interface: A Bi-logical Approach Dynamics of Signaling Games Security Protocols: A Logical Quagmire Algebraization of $\mathcal{H}(\downarrow,@)$ and the Bounded Fragment From Decision Theory to Belief Dynamics Part I: Kripke frames, Heyting Algebras, reductions and duality Part II: Remembrances of the p-morphism in times past