12 citations
- Université Paris 1 Panthéon-SorbonneFR6 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Institut de Recherche en Informatique de ToulouseFR2 papers
- Institut Polytechnique de BordeauxFR2 papers
- Université Toulouse-I-CapitoleFR2 papers
- Université Toulouse III - Paul SabatierFR2 papers
- Université Toulouse - Jean JaurèsFR2 papers
- Laboratoire d'Informatique Fondamentale de LilleFR1 paper
- Ochanomizu UniversityJP1 paper
- Toulouse Mathematics Institute1 paper
- University of BolognaIT1 paper
- University of SheffieldGB1 paper
10 papers
Resolving Asynchronous Distributed Knowledge
Philippe Balbiani, Hans van Ditmarsch, Clara Lerouvillois
There are by now various epistemic modal logics with intersection modalities for distributed knowledge and intersection update modalities for dynamic phenomena like agents sharing…
Dynamic Hypersequents for Public Announcement Logic
Clara Lerouvillois, Francesca Poggiolesi
Dynamic Epistemic Logic extends classical epistemic logic by modeling not only static knowledge but also its evolution through information updates. Among its various systems, Publi…
Thinking Machines: Mathematical Reasoning in the Age of LLMs
Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen
Large Language Models (LLMs) have demonstrated impressive capabilities in structured reasoning and symbolic tasks, with coding emerging as a particularly successful application. Th…
Platonism, De Re, and (Philosophy of) Mathematical Practice
Marco Panza
The chapter advances a reformulation of the classical problem of the nature of mathematical objects (if any), here called "Plato's problem," in line with the program of a philosoph…
Harmony in the Light of Computational Ludics
Alberto Naibo, Yuta Takahashi
Prawitz formulated the so-called inversion principle as one of the characteristic features of Gentzen's intuitionistic natural deduction. In the literature on proof-theoretic seman…
What is Nature-like Computation? A Behavioural Approach and a Notion of Programmability
Hector Zenil
The aim of this paper is to propose an alternative behavioural definition of computation (and of a computer) based simply on whether a system is capable of reacting to the environm…