Related papers: Sahlqvist-Type Completeness Theory for Hybrid Logi…
We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations $R, S$, a componentwise reducibility is defined by $ R\le S \iff \ex f \, \forall x, y \, [xRy…
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed \lambda-calculus and the modal \lambda-calculus. This makes it a highly expressive temporal logic that is capable of expressing various interesting correctness properties of…
Let $H$ be the Iwahori-Hecke algebra and let $J$ be Lusztig's asymptotic Hecke algebra, both specialized to type $\tilde{A}_1$. For $\mathrm{SL}_2$, when the parameter $q$ is specialized to a prime power, Braverman and Kazhdan showed…
We extend unified correspondence theory to Kripke frames with impossible worlds and their associated regular modal logics. These are logics the modal connectives of which are not required to be normal: only the weaker properties of…
We explore a simple approach to quantum logic based on hybrid and dynamic modal logic, where the set of states is given by some Hilbert space. In this setting, a notion of quantum clause is proposed in a similar way the notion of Horn…
Deductive verification of hybrid systems (HSs) increasingly attracts more attention in recent years because of its power and scalability, where a powerful specification logic for HSs is the cornerstone. Often, HSs are naturally modelled by…
The purpose of the present paper is to show that: Eilenberg-type correspondences = Birkhoff's theorem for (finite) algebras + duality. We consider algebras for a monad T on a category D and we study (pseudo)varieties of T-algebras.…
The subject of this PhD thesis is harmonic analysis on solvable extensions of H-type groups. Let N be an H-type group and S=NA be its solvable extension of rank one. The author study the weak type 1 boundedness of suitable Hardy-Littlewood…
This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented…
Recent general results on Hamiltonian reductions under polar group actions are applied to study some reductions of the free particle governed by the Laplace-Beltrami operator of a compact, connected, simple Lie group. The reduced systems…
We implement modular flavor symmetries within the Standard Model Effective Field Theory (SMEFT) framework, using the flavor group $A_4^{(q)} \times A_4^{(e)}$ with distinct moduli $\tau_q$ and $\tau_e$, and assigning different modular…
This paper examines the complexity of hybrid logics over transitive frames, transitive trees, and linear frames. We show that satisfiability over transitive frames for the hybrid language extended with the downarrow operator is…
Relational Hoare logics (RHL) provide rules for reasoning about relations between programs. Several RHLs include a rule we call sequential product that infers a relational correctness judgment from judgments of ordinary Hoare logic (HL).…
We construct a structure of a ring with local units on a co-Frobenius coalgebra. We study a special class of co-Frobenius coalgebras whose objects we call symmetric coalgebras. We prove that any semiperfect coalgebra can be embedded in a…
Garret Birkhoff's HSP theorem characterizes the classes of models of algebraic theories as those being closed with respect to homomorphic images, subalgebras, and products. In particular, it implies that an algebra $\mathbf{B}$ satisfies…
This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the internal logics of abstractions, we propose a general…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
We show that every strongly $\mathbb{Z}$-graded C*-algebra (equivalently, every C*-algebra carrying a strongly continuous $\mathbb{T}$-action with full spectral subspaces) is a Cuntz--Pimsner algebra, and describe subalgebras and subspaces…
We make use of the Quantum Hamilton-Jacobi (QHJ) theory to investigate conditional quasi-solvability of the quantum symmetric top subject to combined electric fields (symmetric top pendulum). We derive the conditions of quasi-solvability of…
We identify a class of symmetric algebras over a complete discrete valuation ring $\mathcal O$ of characteristic zero to which the characterisation of Kn\"orr lattices in terms of stable endomorphism rings in the case of finite group…