Deadline for submitting abstracts: November 15, November 25, 2025
Notification of acceptance: December 15, December 23 2025
Call for Papers
Modality in Logic and Language
5th Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning
April 3–5, 2024, Tsinghua University, Beijing
The website for this year’s conference is available at: TLLM 2026
For previous years’ websites, please visit: TLLM
The study of modality in logic is as old as logic itself. Modern propositional and predicate logic replaced notions like ‘necessary’ and ‘possible’, traditionally used to define what it means for a proposition to follow from other propositions, by quantification over ways to interpret the non-logical symbols of the language. But the study of reasoning with the modalities themselves has continued in logic, with the modern tools now available. Early syntactic studies of systems for ‘strict implication’ gave way to possible worlds style semantics in the hands of pioneers like Carnap, Kanger, Hintikka, Kripke, and others, which now provides a standard framework for the logical study of modality. This framework has been applied to systems of logic where oA is meant to capture readings, besides ‘A is necessary’, like ‘A will always be the case, A holds after a certain program execution step, A is provable, obligatory, justified, probable, believed/known by an agent’, etc. Today, the vast area of philosophical logic studies all kinds of ‘intensional’ notions, using formal languages and well-established mathematical tools. In philosophy too, the discussion about the nature of possible worlds and their use for various modalities, initiated by Lewis, Stalnaker, Kripke, Fine, Williamson, and others, is still a very active area of research.
In parallel, and sometimes in cooperation, linguists have studied the syntactic and semantic behavior of modals in natural languages. Modals, together with tense, enable us to displace from the actual here and now, embodying one of Hockett’s design features of natural language: displacement. Natural language also abounds in modal expressions and constructions. In English for instance, we encounter at least auxiliaries, verbs, adverbs, nouns, adjectives, and conditionals that convey modal meanings. On the other hand, languages vary significantly in how they express and categorize modal meanings (as explored in the works of Rullmann, Matthewson, Deal and many others). The rich empirical landscape provides linguists – building on Kratzer’s pioneer work – with opportunities to study the range of modal concepts expressible in natural language, how they are expressed, the theoretical frameworks and logical tools required to analyze them, the processes by which they are acquired, and so on.
The TLLM workshops aim to bring together logicians, philosophers, and linguists around a specific theme of common interest. For the 2026 event, the theme is unusually wide, and we welcome contributions on any general or particular aspect of the modalities in logic or language. Below are just a few examples of possible topics for this workshop.
- Foundations and semantics of modality: E.g. Kripke/neighborhood/possibility/topological/ game-theoretic/inquisitive/team semantics.
- Proof theory for modal logic: E.g. sequent/natural deduction/labelled/circular/display/ deep inference systems.
- Epistemic and doxastic logics.
- Deontic logic, norms and preference.
- Modality in natural language: E.g. epistemic/deontic/dynamic modals; weak necessity and gradability; syntax of modals; semantic-pragmatic interface; cross-linguistic typology; experimental and corpus studies.
- Non.classical perspectives on modality: E.g. intuitionistic/linear/relevant/paraconsistent/ modal bilattice frameworks; bilateralist accounts.
- Modality in computation, verification, and AI: E.g. KR with modalities; causal and probabilistic modal models; LLMs and modal reasoning (benchmarks, neurosymbolic methods, toolkits).
- Modality and other intensional categories: e.g. modality and tense; modality and evidentiality; modality and mood.
- The processing and acquisition of modal expressions in natural languages
Contributed Papers
We invite submissions of 2-page abstracts (including references) on any of the broad themes related to the modality in logic and language as suggested above. After a review procedure, authors of accepted abstracts will have the opportunity to present their papers at the workshop, either as a contributed talk or in the poster session. The poster session is intended to provide an informal setting for discussion and to encourage participation from early-career researchers and students. After the workshop, a volume of full papers (properly refereed) will be published in the Springer LNCS – FoLLI series. Details on submission of full papers will follow.
The workshop will take place on site at Tsinghua University, Beijing.
Sponsors
- The Joint Research Center for Logic, Tsinghua University
- Department of Philosophy, Tsinghua University
- Department of Foreign Languages and Literatures, Tsinghua University
[CALL FOR PARTICIPATION]
We are happy to announce that registration for Asian Workshop on Philosophical Logic 2026 (AWPL 2026) is now open:
https://logic.swu.edu.cn/awpl2026/Registration.htm
The Asian Workshop on Philosophical Logic (AWPL, http://awpl.org/Workshops.html) is a series of events initiated by a group of Asian logicians. Its first installment took place at JAIST in Japan in 2012. The primary goal of the workshop is to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. It emphasizes the interaction between philosophical ideas and formal theories. Topics of interest include, but are not restricted to, non-classical logics, philosophical logics, algebraic logic, as well as their applications in computer science, cognitive science, and social sciences. So far, five successful workshops have been organized in Ishikawa (2012), Guangzhou (2014), Taipei (2016), Beijing (2018), Hangzhou (2020), Sapporo (2024) and Kolkata (2025). The post-conference proceedings are published in the Springer book series “Logic in Asia”(http://www.springer.com/series/13080?detailsPage=titles). AWPL2026 is hosted by the Institute of Logic and Intelligence,Southwest University, and Chongqing Association of Logic is a co-organizer for this workshop.
[IMPORTANT DATES]
Registration deadline: 27 March, 2026
Workshop dates: 6-8 April 2026
[REGISTRATION]
Registration fee: Wavier
To register for the workshop please refer to the registration section of https://logic.swu.edu.cn/awpl2026/Call_for_Papers.htm
If you need an invitation letter for Chinese Visa (China now grants unilateral visa-free access and has signed mutual visa exemption agreements with lots of countries. See here for more detail), please send the registration form back to us (awpl2026@126.com) by Feburary 6th,2026.
[INVITED SPEAKERS AND TUTORIAL]
Confirmed speakers:
Ahti-Veikko Juhani Pietarinen (Hong Kong Baptist University)
Emiliano Lorini (IRIT, Institut de Recherche en Informatique de Toulouse)
Thomas Ågotnes (University of Bergen & Shanxi University)
Yì Nicholas Wáng (Shandong University)
Confirmed tutorial:
Logics for strategic reasoning about socially interacting rational agents, presented by
Valentin Goranko (Stockholm University)
[ACCEPTED PAPERS]
Alexander Gheorghiu and Tao Gu On the Logical Content of Knowledge Bases
Andrew Lewis-Smith and Zhiguang Zhao A Kripke Semantics for Commutative Generalised Basic Logic
Bruno Bentzen What is intuitionistic logic with actuality?
Eiji Yamada The Sources of Unknowability and Self-refutation in Epistemic and Dynamic Epistemic Logic
Eita Otsuka and Katsuhiko Sano Cut-Free G3-style Sequent Calculus of Basic Hybrid Logic
Hanoch Ben-Yami and Hongkai Yin Semantic Tableaux for the Quantified Argument Calculus with Instantials
Hans van Ditmarsch, Valentin Goranko and Yanjing Wang The Quest for Ultimate Ignorance. I: Iterated Ignorance is Complex!
Hayato Ito Foundations of Non-triviality in Probabilistic Semantics
Hao Yang Qualitative Dilation and Agreement Theorems
Jun Suzuki and Katsuhiko Sano Undecidability of Linear Logics without Weakening
Junli Jiang, Pavel Naumov and Wenxuan Zhang Dynamic Logic of Trust-Based Beliefs
Ke Yang Indian Nyāya Inference: A Constrained Abductive Theory
Mingzheng Lu Two-Dimensional First-Order Hybrid Logic
Ran Ren Philosophical Disputes between the Dignāga School and the Nyāya–Vaiśeṣika Tradition: A Systematic Examination of Epistemology, Logic, and Metaphysics
Rui Zhu Shen Yuting in Early Modal Logic: The Axiom Interdependence of S5
Sankha Basu and Esha Jain Paracomplete Probabilities
Shuran Huo Is Nyaya Logic a Relevance Logic?
Sibo Yu The Pragmatic Value of Externalist Evidence
Sisi Yang and Yan Zhang Strict Defense, Loose Threats: A Skeptical Semantics for Extended Argumentation
Sizhuo Liu and Katsuhiko Sano Analytic Sequent Calculus for Coalition Logic with Individual Knowledge
Xin Sun and Piotr Kulicki Probabilistic Hoare Logic With Countable Language
Yijie Shi and Zhaoqing Xu Śūnyatā and Apoha:A New Interpretation of the Problem of Empty Reference from the Perspective of Buddhist Philosophy and Logic
Youan Su Uniform interpolation property for agent in multi-agent modal logic
Zhicheng Chen A unified relational semantics for BPL, IPL and OL –axiomatization with disjunction
[STEERING COMMITTEE]
Sujata Ghosh, Indian Statistical Institute, Chennai (co-chair)
Fenrong Liu, Tsinghua University, Beijing (co-chair)
Katsuhiko Sano, Hokkaido University, Sapporo (co-chair)
Shawn Standefer, National Taiwan University,Taipei
Yì Nicholas Wáng, Shandong Univeristy, Jinan
Xufeng Wen, Sun Yat-sen University, Guangzhou
Jiji Zhang, The Chinese University of Hong Kong, Hong Kong
[ADVISORY BOARD]
Phan Minh Dung (Asian Institute of Technology, Bangkok)
Beishui Liao (Zhejiang University, Hangzhou)
Hu Liu (Sun Yat-sen University, Guangzhou)
Hiroakira Ono (Japan Advanced Institute of Science and Technology, Ishikawa)
Ram Ramanujam (Institute of Mathematical Sciences, Chennai)
Hsing-chien Tsai (National Chung Cheng University, Chiayi)
Chin-Mu Yang (National Taiwan University, Taipei)
[PROGRAM COMMITTEE]
Ahti-Veikko Pietarinen (Hong Kong Baptist University)
Chenwei Shi (Tsinghua University)
Dazhu Li (University of Chinese Academy of Sciences)
Dongmo Zhang (Western Sydney University)
Emiliano Lorini (IRIT)
Fan Yang (Utrecht University)
Fei Liang (Shandong University)
Fengkui Ju (Beijing Normal University)
Fenrong Liu (Tsinghua University)
Hu Liu (Sun Yat-sen University)
Jiji Zhang (Chinese University of Hong Kong) (Co-Chair)
Jixin Liu (Sichuan University)
Katsuhiko Sano (Hokkaido University)
Meiyun Guo (Southwest University) (Chair)
Mihir Chakraborty (Jadavpur University)
Mingjun Tang (Fudan University)
Patrick Blackburn (Roskilde University)
Peter Hawke (Lingnan University)
Ramanujam Ram (Institute of Mathematical Sciences, Chennai)
Sujata Ghosh (Indian Statistical Institute)
Thomas Ågotnes (University of Bergen)
Tien-Chun Lo (The Chinese University of Hong Kong)
Torben Braüner (Roskilde University)
Wen-Fang Wang (Shandong University)
Xiaoxuan Fu (China University of Political Science and Law)
Xuefeng Wen (Sun Yat-sen University)
Yanjun Li (Nankai University)
Yifeng Ding (Peking University)
Zhiguang Zhao (Taishan University)
Zuojun Xiong (Southwest University) (Co-Chair)
[LOCAL ORGANIZING COMMITTEE](All from Southwest University, Chongqing)
Zuojun Xiong, Meiyun Guo, Junli Jiang, Yang Sun, Yiting Wang, Yixin Pan
For more information about the workshop, please visit the website:
Application deadline: January 20, 2026
An increasing amount of information, including misinformation, disinformation, and (deep)fake news, is increasingly disseminated through both traditional and new media. Our societies need to address and prevent such problems, which affect our belief systems, decision-making process, and public discourse, by developing information strategies and policies. And this largely relies on grasping logical models of belief, which reveals how belief systems and related concepts (such as preferences, desires, questions, and doubts) form and change, as well as how information exchange between individuals influences one’s belief inferences. Epistemic Logic offers a thorough analysis of the underlying assumptions, definitions, inference rules, and semantic characterizations of knowledge and belief by examining statements like “Agent A knows X” or “Agent A believes Y.” Recent development in Epistemic Logic is particularly useful for modelling belief changes in both single-agent and multi-agent systems, as well as in philosophical discussions. The Graduate Seminar “Belief Change and Information Exchange: Current Trends in Epistemic Logic” will delve into these models.
The primary focus of the Graduate Seminar will be introduced through both classical and contemporary, as well as syntactic and semantic, methodological approaches in epistemic logic, including propositional logic, modal logic, dynamic systems, inquisitive logic, theories of belief revision, possible world semantics, inquisitive semantics, and game-theoretical semantics. Additionally, it will help students understand: (i) how these approaches relate to topics in scientific disciplines, such as multi-agent systems in artificial intelligence (AI) and robotics, distributed systems in computer science, and models of belief revision in cognitive psychology; and (ii) how they can address contemporary social issues mentioned at the beginning, such as the spread of false information on social media and its influence on public belief systems, as well as how individuals or groups form and revise beliefs in political or social contexts.
Who is it for: Master students, PhD students, and junior researchers in Logic, Epistemology, Social Sciences, Cognitive Sciences, Psychological Sciences. Open to candidates from all the VIU Member Institutions; applications from excellent candidates from non-member institutions will be also considered and evaluated.
For further information visit our website or send an email to summerschools@univiu.org
Call for Papers
LOFT 2026 will be the 16th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. More information about the series: http://www.econ.ucdavis.edu/faculty/bonanno/loft.html
KEYNOTES
Michal Feldman (Tel Aviv)
Remco Heesen (LSE)
Maria Polukarov (King’s)
Debraj Ray (NYU)
SUBMISSION INFORMATION
Potential contributors should submit an extended abstract of approximately 5 to at most 10 pages (excluding references and appendices) in PDF format. Submissions exceeding 10 pages will not be considered.
Submissions should be prepared for double blind review and submitted through the website by February 15th, 2026 (AoE).
Papers that have appeared in print, or are likely to appear in print before the conference, should not be submitted for presentation at LOFT.
Please be informed that we are planning to notify about the acceptance or rejection of the papers at the beginning of April.
For a list of publications based on previous LOFT conferences see
Please submit through the following link: https://openreview.net/group?id=LOFT/2026/Conference
IMPORTANT DATES
Deadline for submission: 15 February, 2026 (AoE)
Notification to authors: Early April, 2026
Conference: 24-26 June 2026
LOFT Steering Committee Chairs:
Andrés Perea (Maastricht University)
Olivier Roy (University of Bayreuth)
Sonja Smets (University of Amsterdam)
Local Organizer:
Mehmet Mars Seven (King’s College London)
Program Committee
Christian W. Bach (University of Reading)
Gaia Belardinelli (University of Copenhagen)
Francesca Zaffora Blando (Carnegie Mellon University)
Juan Block (University of Cambridge)
Emiliano Catonini (NYU Shanghai)
Hein Duijf (Vrije Universiteit Amsterdam)
Satoshi Fukuda (Bocconi University)
Spyros Galanis (City University of London)
Valentin Goranko (Stockholm University)
Andreas Herzig (Institut de Recherche en Informatique de Toulouse)
Wesley Holliday (University of California, Berkeley)
Louwe Kuijer (University of Liverpool)
Fenrong Liu (Tsinghua University)
Emiliano Lorini (Institut de Recherche en Informatique de Toulouse)
Aybüke Özgün (University of Amsterdam)
Eric Pacuit (University of Maryland)
Paul Pedersen (City College of New York)
Frederik Van De Putte (Erasmus University of Rotterdam)
Burkhard Schipper (University of California, Davis)
Chenwei Shi (Tsinghua University)
Ronald Stauber (Australian National University)
Allard Tamminga (University of Groningen)
Elias Tsakas (Maastricht University)
Marie-Louise Vierø (Aarhus University)
Sujata Ghosh (Indian Statistical Institute)
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, and many other related topics including systems and applications. Visit also the general NMR webpage.
NMR has a long history – it started in 1984 and, up until 2020, was held every two years. Recent previous NMR workshops were held in Melbourne (2025), Vietnam (2024), Greece (2023), Haifa (2022), Hanoi (virtually) (2021), Rhodes (virtually) (2020), Tempe (2018), Cape Town (2016), Vienna (2014), Rome (2012), Toronto (2010), and Sydney (2008).
NMR 2026 is co-located with the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026) at the Federated Logic Conference (FLoC 2026).
Aims and Scope
NMR 2026 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers. Workshop activities will include invited talks and presentations of technical papers.
Invited Speakers
Important Dates
| Paper registration | April 3, 2026 |
| Paper submission | April 10, 2026 |
| Notification | May 18, 2026 |
| Camera-ready | June 17, 2026 |
| Workshop | July 17–19, 2026 |
Submission Details
We invite two types of submissions:
- Full papers. Full papers should be at most 14 pages including references, figures and appendices. Papers already published or accepted for publication at other conferences are also welcome, provided that the original publication is mentioned in a footnote on the first page and the submission at NMR falls within the authors’ rights. In the same vein, papers under review for other conferences can be submitted with a similar indication on their front page.
- Extended Abstracts. Extended abstracts should be at most 3 pages (excluding references and acknowledgements). They should introduce work that has recently been published or is under review, or ongoing research at an advanced stage. We highly encourage to attach to the submission a preprint/postprint or a technical report. Such extra material will be read at the discretion of the reviewers. Submitting already published material may require a permission by the copyright holder.
All submissions should be formatted in CEUR style (1-column). Author kit: CEURART.zip. Papers must be submitted in PDF only.
Please submit your contribution through the NMR 2026 Submission Portal.
Organization
General Co-Chairs
| Ana Ozaki | University of Oslo and University of Bergen, Norway |
| Nico Potyka | Cardiff University, UK |
Publicity Chair
| Jacek Wegrzynowski | University of Oslo, Norway |
Programme Committee
| Ofer Arieli | The Academic College of Tel-Aviv |
| Ringo Baumann | Leipzig University |
| Lydia Blümel | Universität Leipzig |
| Alexander Bochman | Computer Science Dept., Holon Institute of Technology |
| Richard Booth | Cardiff University |
| Giovanni Buraglio | TU Wien |
| Giovanni Casini | ISTI – CNR |
| Jens Classen | Roskilde University |
| Eduardo Fermé | Universidade da Madeira, Portugal |
| Laura Giordano | DISIT, Università del Piemonte Orientale |
| Jonas Philipp Haldimann | TU Wien |
| Andreas Herzig | CNRS, IRIT, Univ. Toulouse |
| Haythem Ismail | Cairo University and German University in Cairo |
| Antonis Kakas | University of Cyprus |
| Gabriele Kern-Isberner | Technische Universität Dortmund |
| Sébastien Konieczny | CRIL – CNRS |
| Isabelle Kuhlmann | FernUniversität in Hagen |
| Tuomo Lehtonen | Aalto University |
| Fenrong Liu | Tsinghua University |
| Yasir Mahmood | University of Paderborn |
| Thomas Meyer | University of Cape Town and CAIR |
| Xavier Parent | TU Wien |
| Ramon Pino Perez | Université d’Artois |
| Sylwia Polberg-Riener | Cardiff University |
| Antonio Rago | Imperial College London |
| Anna Rapberger | Imperial College London |
| Jandson Ribeiro | Cardiff University |
| Sebastian Rudolph | TU Dresden |
| Zeynep G. Saribatur | TU Wien |
| Ken Satoh | Center for Juris-Informatics, ROIS, Japan |
| Kai Sauerwald | University of Hagen |
| Gerardo Simari | Universidad Nacional del Sur (UNS) and CONICET |
| Van-Giang Trinh | Inria Saclay |
| Anni Yasmin Turhan | Paderborn University |
| Serena Villata | CNRS – Laboratoire d’Informatique, Signaux et Systèmes de Sophia-Antipolis |
| Renata Wassermann | University of Sao Paulo |
| Emil Weydert | CSC, University of Luxembourg |
| Stefan Woltran | TU Wien |
| Fan Yang | Utrecht University |
Workshop Proceedings
The accepted papers will be made available electronically in the CEUR Workshop Proceedings series as informal proceedings (http://ceur-ws.org/). The copyright of papers remain with the authors. Full papers will be indexed by dblp.org; but extended abstracts published on CEUR proceedings will not be indexed by dblp.org anymore.