Zobrazeno 1 - 10
of 332
pro vyhledávání: '"Duque, David"'
The $Reflection$ $Calculus$ ($\mathcal{\mathbf{RC}}$) is the fragment of the polymodal logic $\mathcal{\mathbf{GLP}}$ in the language $L^+$ whose formulas are built up from $\top$ and propositional variables using conjunction and diamond modalities.
Externí odkaz:
http://arxiv.org/abs/2407.13619
Autor:
Bezhanishvili, Nick, Bussi, Laura, Ciancia, Vincenzo, Fernández-Duque, David, Gabelaia, David
Polyhedral semantics is a recently introduced branch of spatial modal logic, in which modal formulas are interpreted as piecewise linear subsets of an Euclidean space. Polyhedral semantics for the basic modal language has already been well investigat
Externí odkaz:
http://arxiv.org/abs/2406.16056
The logics $\mathsf{CS4}$ and $\mathsf{IS4}$ are the two leading intuitionistic variants of the modal logic $\mathsf{S4}$. Whether the finite model property holds for each of these logics have been long-standing open problems. It was recently shown t
Externí odkaz:
http://arxiv.org/abs/2403.00201
Autor:
Duque, David Jaramillo
6-dimensional superconformal field theories are exotic and fascinating. They emerge from compactifications of F-theory on Calabi-Yau elliptic fibrations, which grants them a rich array of dualities with various other formulations of string and M-theo
Externí odkaz:
http://arxiv.org/abs/2402.06519
Publikováno v:
The Bulletin of Symbolic Logic, 2024 Mar 01. 30(1), 1-19.
Externí odkaz:
https://www.jstor.org/stable/27294832
We investigate a version of linear temporal logic whose propositional fragment is G\"odel-Dummett logic (which is well known both as a superintuitionistic logic and a t-norm fuzzy logic). We define the logic using two natural semantics: first a real-
Externí odkaz:
http://arxiv.org/abs/2306.15805
The topological $\mu$-calculus has gathered attention in recent years as a powerful framework for representation of spatial knowledge. In particular, spatial relations can be represented over finite structures in the guise of weakly transitive wK4 fr
Externí odkaz:
http://arxiv.org/abs/2304.03339
We show that the Priess-Crampe & Ribenboim fixed point theorem is provable in $\mathsf{RCA}_0$. Furthermore, we show that Caristi's fixed point theorem for both Baire and Borel functions is equivalent to the transfinite leftmost path principle, which
Externí odkaz:
http://arxiv.org/abs/2302.08874
Dynamical systems are abstract models of interaction between space and time. They are often used in fields such as physics and engineering to understand complex processes, but due to their general nature, they have found applications for studying com
Externí odkaz:
http://arxiv.org/abs/2301.09904
We study the elliptic genera of the non-critical strings of six dimensional superconformal field theories from the point of view of the strings' worldsheet theory. We formulate a general ansatz for these in terms of characters of the affine Lie algeb
Externí odkaz:
http://arxiv.org/abs/2211.14601