Accepted Papers

Alexandru Baltag (ILLC, University of Amsterdam, Amsterdam), Dazhu Li (Department of Philosophy, Tsinghua University, Beijing; ILLC, University of Amsterdam, Amsterdam) and Mina Young Pedersen (ILLC, University of Amsterdam, Amsterdam). On the Right Path: A Modal Logic for Supervised Learning

Andres Occhipinti Liberman (Technical University of Denmark) and Rasmus K. Rendsvig (Center for Information and Bubble Studies, University of Copenhagen). Dynamic Term-Modal Logic for Epistemic Social Network Dynamics

Anthia Solaki (ILLC) and Fernando R. Velazquez-Quesada (ILLC). Towards a logical formalisation of Theory of Mind

Carlo Proietti (ILLC - University of Amsterdam), Davide Grossi (University of Groningen), Sonja Smets (ILLC - University of Amsterdam / Logic, Information and Interaction Group, University of Bergen, Norway) and Fernando Velazquez-Quesada (ILLC - University of Amsterdam). Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes

Chenwei Shi (Tsinghua University - University of Amsterdam Joint Research Centre for Logic). Justified True Belief Revisited in Topological Argumentation Model

Dominik Klein (University of Bamberg) and Alessandra Marra (Bayreuth University). From Oughts to Goals. A Logic for Enkrasia

Elise Perrotin (Institut de Recherche en Informatique de Toulouse), Rustam Galimullin (University of Nottingham), Quentin Canu (Ecole Normale Supérieure Paris-Saclay) and Natasha Alechina (University of Nottingham). Public Group Announcements and Trust in Doxastic Logic

Huimin Dong (Zhejiang University), Beishui Liao (Zhejiang University), Réka Markovich (University of Luxembourg) and Leendert van der Torre (University of Luxembourg). From Classical to Non-Monotonic Deontic Logic using ASPIC+

Igor Sedlar (Czech Academy of Sciences, Institute for Computer Science), Vit Puncochar (Czech Academy of Sciences, Institute for Computer Science) and Andrew Tedder (Czech Academy of Sciences, Institute for Computer Science). First Degree Entailment with group attitudes and information updates

Ivano Ciardelli (Ludwig Maximilian University of Munich) and Fausto Barbero (University of Helsinki). Undefinability in inquisitive logic with tensor

Ivano Ciardelli (Ludwig Maximilian University of Munich) and Xinghan Liu (Ludwig Maximilian University of Munich). Minimal-change counterfactuals in intuitionistic logic

Ivo Düntsch (Fujian Normal University) and Ewa Orlowska (National Institute of Telecommunications). A discrete representation of lattice frames

Jake Chandler (La Trobe University) and Richard Booth (Cardiff University). Elementary Iterated Revision and the Levi Identity

Jixin Liu (Peking University), Yanjing Wang (Peking University) and Yifeng Ding (Group in Logic and the Methodology of Science, UC Berkeley.). Weakly Aggregative Modal Logic: Characterization and Interpolation

Katrin Schulz (University of Amsterdam), Sonja Smets (University of Amsterdam, University of Bergen), Fernando R. Velázquez-Quesada (University of Amsterdam) and Kaibo Xie (University of Amsterdam). A Logical and Empirical Study of Counterfactuals with Nested Consequence

Kees van Berkel (TU Wien (Technical University Vienna)), Sanjay Modgil (King's College London), Agata Ciabattoni (TU Wien (Technical University Vienna)) and Elisa Freschi (Öster­reichi­sche Aka­demie der Wissen­schaften Institut für Kultur- und Geistes­geschichte Asiens). Evaluating Networks of Arguments: A Case Study in Mīmāmsā Dialectics

Kees van Berkel (TU Wien (Vienna University of Technology)) and Tim Lyon (TU Wien (Vienna University of Technology)). A Neutral Temporal Deontic STIT Logic

Mina Young Pedersen (University of Amsterdam), Sonja Smets (ILLC, University of Amsterdam and Infomedia, University of Bergen) and Thomas Ågotnes (Infomedia, University of Bergen). Analyzing Echo Chambers: A Logic of Strong and Weak Ties

Pengfei Song (Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University) and Wei Xiong (Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University). A Two-layer Partition Awareness Structure

Rasmus K. Rendsvig (Center for Information and Bubble Studies, University of Copenhagen), Paolo Galeazzi (Center for Information and Bubble Studies, University of Copenhagen) and Marija Slavkovik (Department of Information Science and Media Studies, University of Bergen). Improving Judgment Reliability in Social Networks via Jury Theorems

Soroush Rafiee Rad (Bayreuth University). Probabilistic Entailment for First Order Languages

Takahiro Sawasaki (Hokkaido University), Katsuhiko Sano (Hokkaido University) and Tomoyuki Yamada (Hokkaido University). Term-Sequence-Modal Logics

Thomas Ågotnes (University of Bergen), Natasha Alechina (University of Nottingham) and Rustam Galimullin (University of Nottingham). Group Announcement Logic with Distributed Knowledge

Valentin Goranko (Stockholm University) and Fengkui Ju (School of Philosophy, Beijing Normal University). Towards a Logic for Conditional Local Strategic Reasoning

Wiebe van der Hoek (University of Liverpool), Louwe B. Kuijer (University of Liverpool) and Yì N. Wáng (Zhejiang University). Who Should Be My Friends? Social Balance from the Perspective of Game Theory

Xinyu Wang (Peking University). Epistemic Logic with Partial Dependency Operator

Xinyu Wang (Peking University) and Yanjing Wang (Peking University). Knowledge-now and Knowledge-all

Xun Wang (Peking University). A Logic of Knowing How with Skippable Plans

Yanjun Li (Nankai University) and Yanjing Wang (Peking University). Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach

Youan Su (Hokkaido University) and Katsuhiko Sano (Hokkaido University). First-Order Intuitionistic Epistemic Logic

Yuri David Santos (University of Groningen). Consolidation of Belief in Two Logics of Evidence

Zhe Lin (ILI, Southwest University/ Institute of Logic and Cognition, Sun Yat-sen University) and Kaiyang Lin (Institute of Logic and Cognition Sun Yat-sen University). The sequent systems and algebraic semantics of intuitionistic tense logics

Zuojun Xiong (ILI, Southwest University) and Meiyun Guo (ILI, Southwest University). A Dynamic Hybrid Logic for Followership

SPONSORS

Snow
Forest
Mountains