arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.34489

Proceedings Twelfth International Conference on Non-Classical Logics. Theory and Applications

Andrzej Indrzejczak·Tomasz Jarmu{ż}ek·Mateusz Klonowski·Michał Zawidzki
View original source ↗Read source document ↗Export metadata ↓

Abstract

Non-Classical Logics. Theory and Applications (NCL) is an international conference aimed at presenting novel results and survey papers in the broad field of non-classical logics and their applications. The first two editions were held in Ł{ó}d{ź}, Poland, in September 2008 and 2009. Subsequent editions were organised in Toru{ń} (2010, 2012, 2015, 2018) and Ł{ó}d{ź} (2011, 2013, 2016, 2022, 2024). The tenth edition of the conference, organised by the University of Ł{ó}d{ź} in 2022, was the first to have its proceedings published in EPTCS. We are honoured and pleased to continue this practice and, for the third time, include all accepted long papers in an EPTCS volume. Furthermore, for the first time, we have also included all accepted extended abstracts in the volume.

Explore related subjects

cs.LOcs.SC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Andrzej Indrzejczak, Tomasz Jarmu{ż}ek, Mateusz Klonowski, Michał Zawidzki. 2026-10-25. Proceedings Twelfth International Conference on Non-Classical Logics. Theory and Applications. https://doi.org/10.4204/eptcs.455

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Qualitative Collapse of Concurrent Games (Extended Version)

In this paper, we construct an interpretation-preserving functor from a category of concurrent games to the category of Scott domains and Scott-continuous functions. We give a concrete description of this functor, extending earlier results on the relational collapse of game semantics. The crux is an intricate combinatorial lemma allowing us to synchronize states of strategies which reach the same resources, but with different multiplicity. Putting this together with the previously established relational collapse, this provides a new proof of the qualitative-quantitative correspondence first established by Ehrhard in his celebrated extensional collapse theorem. Whereas Ehrhard's proof is indirect and rests on an abstract realizability construction, our result gives a concrete, combinatorial description of the extraction of quantitative information from a qualitative model.

cs.LO↗
arXiv2026

A meta-modal logic for bisimulations

We propose a novel modal study of bisimulations. Our contribution is threefold. First, we extend the basic modal language with a new modality $\nbi$, whose intended meaning is universal quantification over all states that are bisimilar to the current one under a given bisimulation. We show that bisimulations are definable in this object language via frame validity (for the forth and back conditions) and model validity (for the atomic harmony condition). Additionally, some other related notions (refinements, simulations, bisimulations for a restricted set of variables, and $n$-bisimulations) are also shown to be definable. Second, we provide a sound and complete axiomatisation of the class of all pairs of Kripke models that are bisimulation-related. Third, we show that the satisfiability problem of this logic is decidable and PSPACE-complete via a translation to standard modal logic $K$ under a simple frame condition. All our results are encoded and verified by Isabelle/HOL.

cs.LO↗
arXiv2026

Dynamic Planar Graph Isomorphism is in DynFO

Consider two planar graphs which are subject to edge insertions and deletions. We show that whether the two graphs are isomorphic can be maintained with first-order logic formulas and auxiliary data of polynomial size. This places the dynamic planar graph isomorphism problem into the dynamic descriptive complexity class DynFO. As a consequence, there is a dynamic constant-time parallel algorithm with polynomial-size auxiliary data which maintains whether two dynamic planar graphs are isomorphic.

cs.LO↗