Related papers: The interpolant existence problem for weak K4 and …

In this paper, we present a formal analysis of temporally sensitive counterfactual conditionals. We observe a set of key metaphysical and conceptual problems in regards to counterfactual statements and time. Bearing that in mind, we present…

The problem of computing Craig Interpolants has recently received a lot of interest. In this paper, we address the problem of efficient generation of interpolants for some important fragments of first order logic, which are amenable for…

In this manuscript we consider an isotropic modification for the Landau equation with Coulomb potential in three space dimensions. Global in time existence of weak solutions for even initial data is shown by employing a time…

A doubly degenerate parabolic equation in non-divergent form with variable growth is investigated in this paper. In suitable spaces, we prove the existence of weak solutions of the equation for cases $1\leq m < 2$ and $m\geq 2$ in different…

We consider logic-based argumentation in which an argument is a pair (Fi,al), where the support Fi is a minimal consistent set of formulae taken from a given knowledge base (usually denoted by De) that entails the claim al (a formula). We…

This article gives an existence theory for weak solutions of second order non-elliptic linear Dirichlet problems of the form {eqnarray} \nabla'P(x)\nabla u +{\bf HR}u+{\bf S'G}u +Fu &=& f+{\bf T'g} \textrm{in}\Theta…

We consider quasi-static poroelastic systems with incompressible constituents. The nonlinear permeability is taken to be dependent on solid dilation, and physical types of boundary conditions (Dirichlet, Neumann, and mixed) for the fluid…

In this paper we prove that the uniform one-dimensional guarded fragment, which is a natural polyadic generalization of the guarded two-variable logic, has the Craig interpolation property. We will also prove that the satisfiability problem…

We consider aggregation-diffusion equations with merely bounded nonlocal interaction potential $K$. We are interested in establishing their well-posedness theory when the nonlocal interaction potential $K$ is neither differentiable nor…

We study semi-dynamical systems associated to delay differential equations. We give a simple criteria to obtain weak and strong persistence and provide sufficient conditions to guarantee uniform persistence. Moreover, we show the existence…

In 2004, some equivalent versions of Polya's permanent problem were listed in 24 versions. However, there is a flaw on the theorem that affirms an equivalence of version 11 and 12. In order to correct the slip, we provide a characterization…

This work is devoted to the study of the existence of at least one weak solution to nonlocal equations involving a general integro-differential operator of fractional type. As a special case, we derive an existence theorem for the…

The integrability of a four-dimensional sixth-order bilinear equation associated with the exceptional affine Lie algebra $D_4^{(1)}$ is studied by means of the singularity analysis. This equation is shown to pass the Painlev\'{e} test in…

We prove the non integrability of the colinear $3$ and $4$ body problem, for any masses positive masses. To deal with resistant cases, we present strong integrability criterions for $3$ dimensional homogeneous potentials of degree $-1$, and…

We investigate the complexity of satisfiability for finite-variable fragments of propositional dynamic logics. We consider three formalisms belonging to three representative complexity classes, broadly understood,---regular PDL, which is…

An intriguing correspondence between four-qubit systems and simple singularity of type $D_4$ is established. We first consider an algebraic variety $X$ of separable states within the projective Hilbert space…

Using algebraic methods, and motivated by the one variable case, we study a multipoint interpolation problem in the setting of several complex variables. The duality realized by the residue generator associated with an underlying Gorenstein…

In this paper, we prove existence of \emph{very weak solutions} to nonhomogeneous quasilinear parabolic equations beyond the duality pairing. The main ingredients are a priori esitmates in suitable weighted spaces combined with the…

We study existence of weak solutions for certain classes of nonlinear Schr\"{o}dinger equations on the Poincar\'{e} ball model $\mathbb{B}^N$, $N\geq 3$. By using the Palais principle of symmetric criticality and suitable group theoretical…

This paper extends prior work on the connections between logics from finite model theory and propositional/algebraic proof systems. We show that if all non-isomorphic graphs in a given graph class can be distinguished in the logic…