Related papers: On pre-local tabularity above $\mathrm{S4}\times \…
We make a systematic study of the infinitesimal lifting conditions of a pseudo finite type map of noetherian formal schemes. We recover the usual general properties in this context, and, more importantly, we uncover some new phenomena. We…
The foundations of formal models for epistemic and doxastic logics often rely on certain logical aspects of modal logics such as S4 and S4.2 and their semantics; however, the corresponding mathematical results are often stated in papers or…
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning…
The planar scattering amplitudes of $\mathcal{N} = 4$ super-Yang--Mills theory display symmetries and structures which underlie their relatively simple analytic properties such as having only logarithmic singularities and no poles at…
We develop the fundamentals of a local regularity theory for prescribed Jacobian equations which extend the corresponding results for optimal transportation equations. In this theory the cost function is extended to a generating function…
(Pre)closure spaces are a generalization of topological spaces covering also the notion of neighbourhood in discrete structures, widely used to model and reason about spatial aspects of distributed systems. In this paper we introduce an…
TLA is a popular temporal logic for writing stuttering-invariant specifications of digital systems. However, TLA lacks higher-order features useful for specifying modern software written in higher-order programming languages. We use…
Computation Tree Logic (CTL) and its extensions CTL* and CTL+ are widely used in automated verification as a basis for common model checking tools. But while they can express many properties of interest like reachability, even simple…
For a class of systems of nonlinear and nonlocal balance laws in several space dimensions, we prove the local in time existence of solutions and their continuous dependence on the initial datum. The choice of this class is motivated by a…
This paper investigates some issues arising in categorical models of reversible logic and computation. Our claim is that the structural (coherence) isomorphisms of these categorical models, although generally overlooked, have decidedly…
Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…
Different extended objects can fall in different ways, depending on their internal structures. Some motions are nevertheless impossible, regardless of internal structure. This paper derives universal constraints on extended-body motion,…
We define when a ternary term $m$ of an algebraic language $\mathcal{L}$ is called a \textit{distributive nearlattice term} (DN-term) of a sentential logic $\mathcal{S}$. Distributive nearlattices are ternary algebras generalising Tarski…
We consider quantifier-free spatial logics, designed for qualitative spatial representation and reasoning in AI, and extend them with the means to represent topological connectedness of regions and restrict the number of their connected…
We study the rationality properties of the moduli space $\mathcal{A}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular we show that any principally polarised abelian…
The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces…
Let $R$ be a commutative Noetherian ring with non-zero identity and $\fa$ an ideal of $R$. Let $M$ be a finite $R$--module of of finite projective dimension and $N$ an arbitrary finite $R$--module. We characterize the membership of the…
It is the aim of this work to study product structures on four dimensional solvable Lie algebras. We determine all possible paracomplex structures and consider the case when one of the subalgebras is an ideal. These results are applied to…
We introduce a logical foundation to reason on tree structures with constraints on the number of node occurrences. Related formalisms are limited to express occurrence constraints on particular tree regions, as for instance the children of…
We present a systematic approach to logical predicates based on universal coalgebra and higher-order abstract GSOS, thus making a first step towards a unifying theory of logical relations. We first observe that logical predicates are…