Showing 2026Show all
2 papers · 1 filter
math.LO2026
Strong completeness of the logic J
Juan P. Aguilera, Grigorii Stepanov
We prove that the polymodal logic is strongly complete with respect to \textit{-bouquets}, a topological refinement of its Kripke semantics. In particular,…
math.LO2026
Conditionals and Modalities in Constructive Quantum Logics
Juan P. Aguilera, Guillaume Massas
We investigate logics that generalize both intuitionistic logic and quantum logic. In earlier work, we introduced Ex-logic, an extension of Holliday's fundamental logic that coinci…