Related papers: Toward the van Benthem Characterization Theorem fo…

We define a Kripke semantics for a conditional logic based on the propositional logic $\mathsf{N4}$, the paraconsistent variant of Nelson's logic of strong negation; we axiomatize the minimal system induced by this semantics. The resulting…

Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they…

We prove the semisimplicity conjecture for A-motives over finitely generated fields K. This conjecture states that the rational Tate modules V_p(M) of a semisimple A-motive M are semisimple as representations of the absolute Galois group of…

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…

We introduce a binary relation on the finite discrete probability distributions which generalizes notions of majorization that have been studied in quantum information theory. Motivated by questions in thermodynamics, our relation describes…

Group polarization, the phenomenon where individuals become more extreme after interacting, has been gaining attention, especially with the rise of social media shaping people's opinions. Recent interest has emerged in formal reasoning…

We present a method to compute high-order derivatives of the total energy which can be used in the framework of density functional theory. We provide a proof of the $2n+1$ theorem for a general class of energy functionals in which the…

We study spike-and-slab priors for generalized linear models with possible grouped sparsity. The main result is an oracle Bernstein--von Mises theorem for the fractional posterior under supportwise likelihood assumptions. The proof develops…

The interpretation of propositional dynamic logic (PDL) through Kripke models requires the relations constituting the interpreting Kripke model to closely observe the syntax of the modal operators. This poses a significant challenge for an…

Ramsey theory for words over a finite alphabet was unified in the work of Carlson and Furstenberg-Katznelson. Carlson, in the same work, outlined a method to extend the theory for words over an infinite alphabet, but subject to a fixed…

We develop a nonperturbative approach to the bulk polarization of crystalline electric insulators in $d\geq1$ dimensions. Formally, we define polarization via the response to background fluxes of both charge and lattice translation…

We develop a theory of Valuation Hilbert Modules and prove a version of Beurling's theorem for these. Then we apply our version of Beurling's theorem to obtain complete descriptions of the closed invariant subspaces of a number of Hilbert…

A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have…

We study a variant of the modal $\mu$-calculus based on the constructive modal logic $\mathsf{CK}$. We define game semantics for the constructive $\mu$-calculus and prove its equivalence to the birelational Kripke semantics. We then use the…

We extend some classical constructions in commutative algebra to the setting of modules over orders in (non-commutative) semisimple algebras. Our theory incorporates, inter alia, `reduced' versions of the notions of higher Fitting…

We develop the formalism of double Poisson vertex algebras (local and non-local) aimed at the study of non-commutative Hamiltionan PDEs. This is a generalization of the theory of double Poisson algebras, developed by Van den Bergh, which is…

We generalize the Clausius (in)equality to overdamped mesoscopic and macroscopic diffusions in the presence of nonconservative forces. In contrast to previous frameworks, we use a decomposition scheme for heat which is based on an exact…

We provide new criteria for the integrality and birationality of an extension of graded algebras in terms of the general notion of polar multiplicities of Kleiman and Thorup. As an application, we obtain a new criterion for when a module is…

Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the…

Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero…