output
20042026
most citedModeling mammary organogenesis from biological first principles: Cells and their physical constraints

55 citations

researchers with a paper here
collaborating institutions

19 papers

cs.LO2026

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…

cs.LO2025★ 1 cited

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…

cs.AI2025★ 3 cited

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…

math.HO2023

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…

cs.LO2021

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…

quant-ph2020★ 3 cited

Is the Past Determined?

Hervé Zwirn

In a recent paper, I argued against backward in time effects used by several authors to explain delayed choice experiments. I gave an explanation showing that there is no physical…