Related papers: Regular non-normal modal classicalities
We investigate the convergence behavior of the extended dynamic mode decomposition for constructing a discretization of the continuity equation associated with the Lorenz equations using a nonlinear dictionary of over 1,000,000 terms. The…
The logical semantics of normal logic programs has traditionally been based on the notions of Clark's completion and two-valued or three-valued canonical models, including supported, stable, regular, and well-founded models. Two-valued…
We present a matrix formalism, inspired by the Minkowski four-vectors of special relativity, useful to solve classical physics problems related to both mechanics and thermodynamics. The formalism turns out to be convenient to deal with…
Thomason \cite{Thomason74} showed that a certain modal logic $\mathbf{L}\subset \mathbf{S4}$ is incomplete with respect to Kripke semantics. Later Gerson \cite{Gerson75} showed that $\mathbf{L}$ is also incomplete with respect to…
In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke's possible world semantics. This kind of modal systems characterized by…
We characterize the normal operators $A$ on $\ell^2$ and the elements $a^i \in \ell^2$, with $1\le i\le m$, such that the sequence $$\{ A^n a^1 , \ldots , A^n a^m \}_{n\ge 0}$$ is a frame. The characterization makes strong use of the…
In this paper, we provide a Hilbert-style axiomatisation for the crisp bi-G\"{o}del modal logic $\KbiG$. We prove its completeness w.r.t.\ crisp Kripke models where formulas at each state are evaluated over the standard bi-G\"{o}del algebra…
Recent years witness a growing interest in nonstandard epistemic logics of "knowing whether", "knowing what", "knowing how", and so on. These logics are usually not normal, i.e., the standard axioms and reasoning rules for modal logic may…
We put together a general framework to deal with elliptic and parabolic equations associated with (nonlinear) nonlocal (fractional order) operators. Many well-known nonlocal operators enter into our framework, and in addition one may…
Modal dependence logic (MDL) was introduced recently by V\"a\"an\"anen. It enhances the basic modal language by an operator =(). For propositional variables p_1,...,p_n the atomic formula =(p_1,...,p_(n-1),p_n) intuitively states that the…
We deal with the regularity problem for linear, second order parabolic equations and systems in divergence form with measurable data over non-smooth domains, related to variational problems arising in the modeling of composite materials and…
We investigate the representation of diffeomorphisms in Connes' Spectral Triples formalism. By encoding the metric and spin structure in a moving frame, it is shown on the paradigmatic example of spin semi-Riemannian manifolds that the…
We study the relation between additivity and deduction theorems in the algebraic semantics of congruential modal logic. Additivity of the modal operator is well-known to imply the local deduction-detachment theorem. Our main theme is that…
For bounded domains $\Omega$ with Lipschitz boundary $\Gamma$, we investigate boundary value problems for elliptic operators with variable coefficients of fourth order subject to Wentzell (or dynamic) boundary conditions. Using form…
We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of propositional connectives defined by truth tables, we define the…
The calculation of loop amplitudes with parity violation or spin effects within dimensional regularization needs a consistent definition of gamma5. Also loop calculations in supersymmetric theories need a consistent definition of gamma5. In…
Classical nonlinear theories are highly successful in describing far-from-equilibrium dynamics of magnets, encompassing phenomena such as parametric resonance, ultrafast switching, and even chaos. However, at ultrashort length and time…
Let ML(U^+) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the relative definability of ML(U^+) relative to finite transitive frames in the…
We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical…
Unlike in classical modal logic, in non-classical modal logics the box and diamond operators frequently fail to be interdefinable. Instead, these logics impose some compatibility conditions which tie the box and diamond operators together…