Related papers: A General Theory of Propositional Modal Bundled Mo…
Let $(X,J) $ be an almost complex manifold with a (smooth) involution $\sigma:X\to X$ such that fix($\sigma$) is non-empty. Assume that $\sigma$ is a complex conjugation, i.e, the differential of $\sigma$ anti-commutes with $J$. The space…
In this paper, we introduce the framework of a generalized design, which represents any linear operator as a finite sum of local linear maps attached to finitely many points, thereby abstracting the core of design theory without employing…
In this paper, we discuss models of the common knowledge logic. The common knowledge logic is a multi-modal logic that includes the modal operators $\mathsf{K}_{i}$ ($i\in\mathcal{I}$, where $\mathcal{I}$ is a finite set of agents) and…
We consider the existence of bibundles, in other words locally trivial principal $G$ spaces with commuting left and right $G$ actions. We show that their existence is closely related to the structure of the group $\Out(G)$ of outer…
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 develop a gauge theory or theory of bundles and connections on them at the level of braids and tangles. Extending recent algebraic work, we provide now a fully diagrammatic treatment of principal bundles, a theory of global gauge…
We develop a ready-to-use comprehensive theory for (super) 2-vector bundles over smooth manifolds. It is based on the bicategory of (super) algebras, bimodules, and intertwiners as a model for 2-vector spaces. We discuss symmetric monoidal…
In this paper we construct a bicategory of (super) algebra bundles over a smooth manifold, where the 1-morphisms are bundles of bimodules. The main point is that naive definitions of bimodule bundles will not lead to a well-defined…
We compare different epistemic notions in the presence of awareness of propositional variables: the logics of implicit knowledge (in which explicit knowledge is definable), explicit knowledge, and speculative knowledge. Different notions of…
We investigate modal logics of high probability having two unary modal operators: an operator $K$ expressing probabilistic certainty and an operator $B$ expressing probability exceeding a fixed rational threshold $c\geq\frac 12$.…
A relative Picard theory in the context of graded manifolds is introduced. A Berezinian calculus and a theory of connections over SUSY-curves are systematically developed, and used to prove a Gauss-Bonnet theorem for line bundles in that…
Let $C$ be a smooth projective curve of genus $g\ge2$ and let $N$ be the moduli space of stable rank $2$ vector bundles on $C$ of odd degree. We construct a semi-orthogonal decomposition of the bounded derived category of $N$ conjectured by…
An asymmetric operator of generalised translation is introduced in this paper. Using this operator, we define a generalised modulus of smoothness and prove direct and inverse theorems of approximation theory for it.
We define what it means for a state in a convex cone of states on a space of observables to be generalized-entangled relative to a subspace of the observables, in a general ordered linear spaces framework for operational theories. This…
We give a brief overview of recent progress in understanding Bagger-Witten line bundles, which are bundles over moduli spaces of two-dimensional N=2 SCFTs whose existence is a consequence of the global U(1)_R symmetry of the theories. Our…
This paper provides some technical results needed in "Formalism for Relative Gromov-Witten Invariants." We study line-bundles on the moduli stacks of relative stable and rubber maps that are used to define relative Gromov-Witten invariants…
We investigate multi-agent epistemic modal logic with common knowledge modalities for groups of agents and obtain van Benthem style model-theoretic characterisations, in terms of bisimulation invariance of classical first-order logic over…
We study finite probability theory through a category of finite probability schemes and probability-preserving maps, called \emph{bundles}. A bundle simultaneously records a quotient of a sample space, an algebra of random variables, and…
Computing the cohomology of the tensor product of two vector bundles is central in the study of their moduli spaces and in applications to representation theory, combinatorics and physics. These computations play a fundamental role in the…
In this paper, we introduce the simulations and bisimulations on polarity-based semantics for non-distributive modal logic, which are natural generalizations of those notions on Kripke semantics for modal logic. We also generalize other…