Related papers: Bisimulation Invariant Monadic-Second Order Logic …
We consider the family of guarded and unguarded ordered logics, that constitute a recently rediscovered family of decidable fragments of first-order logic (FO), in which the order of quantification of variables coincides with the order in…
We consider the two-variable fragment of first-order logic with one distinguished binary predicate constrained to be interpreted as a transitive relation. The finite satisfiability problem for this logic is shown to be decidable, in triply…
Bi-intuitionistic logic is the conservative extension of intuitionistic logic with a connective dual to implication. It is sometimes presented as a symmetric constructive subsystem of classical logic. In this paper, we compare three sequent…
Mixed order phase transitions (MOT), which display discontinuous order parameter and diverging correlation length, appear in several seemingly unrelated settings ranging from equilibrium models with long-range interactions to models far…
We associate a bivariant theory to any suitable oriented Borel-Moore homology theory on the category of algebraic schemes or the category of algebraic G-schemes. Applying this to the theory of algebraic cobordism yields operational…
We derive a continuum theory for the phase transition in a classical dimer model on the cubic lattice, observed in recent Monte Carlo simulations. Our derivation relies on the mapping from a three-dimensional classical problem to a…
Let $\mathcal{A}$ be a completely rational local M\"obius covariant net on $S^1$, which describes a set of chiral observables. We show that local M\"obius covariant nets $\mathcal{B}_2$ on 2D Minkowski space which contains $\mathcal{A}$ as…
We study bisimulations for useful description logics. The simplest among the considered logics is $\mathcal{ALC}_{reg}$ (a variant of PDL). The others extend that logic with inverse roles, nominals, quantified number restrictions, the…
In this article we further the study of non-commutative motives. We prove that bivariant cyclic cohomology (and its variants) becomes representable in the category of non-commutative motives. Furthermore, Connes' bilinear pairings…
Building on our previous work on hybrid polyadic modal logic we identify modal logic equivalents for Matching Logic, a logic for program specification and verification. This provides a rigorous way to transfer results between the two…
We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…
Generalized topological spaces are not necessarily closed under finite intersections. Moreover, the whole universe does not need to be open. We use modified version of this framework to establish certain models for non-normal modal logics.…
We consider a semiflow strongly focusing monotone with respect to a cone of rank k on a Banach space. We prove that the omega-limit set of a pseudo-ordered semiorbit is ordered, which is called as pseudo-ordered principle. Based on this…
Reasoning about consistency models for replicated data systems is a challenging task that requires a deep understanding of both the consistency models themselves and a large part of human inputs in mechanized verification approaches. In…
Let $(M,g)$ be a pseudo-Riemannian manifold and $F_\lambda(M)$ the space of densities of degree $\lambda$ on $M$. We study the space $D^2_{\lambda,\mu}(M)$ of second-order differential operators from $F_\lambda(M)$ to $F_\mu(M)$. If $(M,g)$…
In this paper, we discuss the generalization of finitary $2$-representation theory of finitary $2$-categories to finitary birepresentation theory of finitary bicategories. In previous papers on the subject, the classification of simple…
We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions…
Our main contributions can be divided in three parts: (1) Fixpoint extensions of first-order logic: we give a precise syntactic and semantic characterization of the relationship between $\mathrm{FO(TC^1)}$ and $\mathrm{FO(LFP)}$; (2)…
It is well known that classical varieties of $\Sigma$-algebras correspond bijectively to finitary monads on $\mathsf{Set}$. We present an analogous result for varieties of ordered $\Sigma$-algebras, i.e., classes presented by inequations…
Bilinear pseudodifferential operators with symbols in the bilinear analog of all the H\"ormander classes are considered and the possibility of a symbolic calculus for the transposes of the operators in such classes is investigated. Precise…