Related papers: Fixed-point properties for predicate modal logics

We study the finite model property of subframe logics with expressible transitive reflexive closure modality. For $m>0$, let $\mathrm{L}_m$ be the logic defined by axiom $\lozenge^{m+1} p\to \lozenge p\vee p$. We construct filtrations for…

We study positional properties in the context of game-based reactive synthesis. Our motivation stems from having a usable specification logic, for which tractable synthesis is guaranteed. We demonstrate that every $\omega$-regular…

We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.

We define a "tracial" analog of the Rokhlin property for actions of second countable compact groups on infinite dimensional simple separable unital C*-algebras. We prove that fixed point algebras under such actions (and, in the appropriate…

We discuss recent progress on the problem of classifying point-primitive generalised polygons. In the case of generalised hexagons and generalised octagons, this has reduced the problem to primitive actions of almost simple groups of Lie…

In this second part we prove that, if $G$ is one of the groups $\mathrm{PSL}_2(q)$ with $q>5$ and $q\equiv 5\pmod {24}$ or $q\equiv 13 \pmod{24}$, then the fundamental group of every acyclic $2$-dimensional, fixed point free and finite…

We generalize to the finite-slope setting several techniques due to Nekovar concerning the parity conjecture for self-dual motives. In particular we show that, for a $p$-adic analytic family, with irreducible base, of symplectic self-dual…

In this paper, we show a series of abstract results on fixed point regularity with respect to a parameter. They are based on a Taylor development taking into account a loss of regularity phenomenon, typically occurring for composition…

We observe that justification logic enjoys a form the strong finite model property (sometimes also called small model property). Thus we obtain decidability proofs for justification logic that do not rely on Post's theorem.

This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a finitely generated carrier for an endofunctor on a locally…

In this paper we prove FG-coupled fixed point theorems for different contractive mappings and generalized quasi- contractive mappings in partially ordered complete metric spaces. We prove the existence of FG-coupled fixed points of…

In this paper we study the existence and uniqueness of fixed points of a class of mappings defined on complete, (sequentially compact) cone metric spaces, without continuity conditions and depending on another function.

Motivated by questions like: which spatial structures may be characterized by means of modal logic, what is the logic of space, how to encode in modal logic different geometric relations, topological logic provides a framework for studying…

We prove that the propositional logic of intuitionistic set theory IZF is intuitionistic propositional logic IPC. More generally, we show that IZF has the de Jongh property with respect to every intermediate logic that is complete with…

Existential fixed point logic (EFPL) is a natural fit for some applications, and the purpose of this talk is to attract attention to EFPL. The logic is also interesting in its own right as it has attractive properties. One of those…

We formulate and prove a non-abelian analog of Deligne's Fixed Part theorem on Hodge classes, revisiting previous work of Jost--Zuo, Katzarkov--Pantev and Landesman--Litt. To this aim we study algebraically isomonodromic extensions of local…

Our paper is the first study of what one might call "reverse mathematics of explicit fixpoints". We study two methods of constructing such fixpoints for formulas whose principal connective is the intuitionistic Lewis arrow. Our main…

The main purpose of this work is to extend the properties of multivalued transformations to the integral type transformations and to obtain the existence of fixed points under F-contraction. In addition, the results of this study were…

We investigate completeness for modal G\"odel logics with respect to finite G\"odel-Kripke models, along with related aspects. It is well known that the logics studied in [4, 11] fail to be complete with respect to finite G\"odel-Kripke…

In this article I describe my recent geometric localization argument dealing with actions of NONcompact groups which provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the…