Eindhoven University of Technology, 5–6 November 2026Participation is free of charge. Abstract deadline: 15 October 2026. Register Submit an abstract Speakers Speakers and organizers are listed alp…

YouTube video by Logic Programming Education

This paper provides a formal characterization of the phenomenon of ‘semantic pollution’ relative to proof systems for modal logic and Kripke semantics. We propose that semantic pollution can be made p...

Bilateralism is the position according to which assertion and rejection are conceptually independent speech acts. Logical bilateralism demands that systems of logic provide conditions for assertion an...

If Socrates is running slowly, he must be running. Likewise, if he’s not running, he must not be running slowly. Haze [2] proposes an extension of first-order logic inspired by this characteristic inf...

NOTIONS OF RANK AND INDEPENDENCE IN COUNTABLY CATEGORICAL THEORIES

GENERIC DERIVATIONS ON ALGEBRAICALLY BOUNDED STRUCTURES II: MODEL THEORETICAL PROPERTIES

COMPARING VARIANTS OF RAMSEY’S THEOREM USING UNIFORM REDUCIBILITIES

DYNAMIC HYPERSEQUENTS FOR PUBLIC ANNOUNCEMENT LOGIC

DEFINABLE COORDINATE GEOMETRIES OVER FIELDS

We present a formalism that allows to distinguish between, on the one hand, expectations about future states (agents’ a priori beliefs about those states), and, on the other hand, what will be known a...

Theory of mind (ToM) is the ability to attribute and reason about unobservable mental states of others, such as knowledge, beliefs, and intentions. ToM is needed in social interactions, negotiations, ...

Spatial logics are formalisms for expressing topological properties of structures based on geometrical entities and relations. In this paper we consider SLCS, the Spatial Logic for Closure Spaces, rec...

Inspired by Kalman’s work, a categorical equivalence has been proved between Heyting algebras and centered Nelson algebras. In this paper, we investigate Galois connections on Heyting algebras, specif...

Celebrating Alan Turing’s 1936 seminal paper ‘On computable numbers, with an application to the Entscheidungsproblem’

8-9 September 2026, University of Liverpool

We explore logic as a method to model social phenomena, giving rise to what we term social logic. After introducing and defining this concept, we identify main examples of social logic, ranging from k...

This paper investigates Bourbaki’s concepts of set-theoretical structure and isomorphism. First, I introduce Bourbaki’s formalism in a modern guise. Second, I show that there is a one-to-one correspon...

Belief Change and Ontology Repair: two sides of the same coin? In this talk, I will introduce the basics of Belief Change, focusing on contraction operators, i.e., removing unwanted beliefs. I will ...