We present ongoing work into the systematic study of the use of dual adjunctions in coalgebraic modal logic. We introduce a category of internal models for a modal logic. These are constructed from syntax, and yield a generalised notion of canonical model. Further, expressivity of a modal logic is shown to be characterised by factorisation of its models via internal models and the existence of ...

g/u(1) d parafermions from constrained WZNW theories. Abstract The conformal field theory based on the g/u(1) d coset construction is treated as the WZNW theory for the affine Lie algebrâ g with the constrainedû(1) d subalgebra.Using a modification of the generalized canonical quantization method generators and primary fields of an extended symmetry algebra are found for arbitrary d.

Canonical quantization of the polarized Gowdy midi-superspace with a 3torus spatial topology is carried out. As in an earlier work on the EinsteinRosen cylindrical waves, symmetry reduction is used to cast the original problem in 4-dimensional space-times to a 3-dimensional setting. To our knowledge, this is the first complete, systematic treatment of the Gowdy model in the geometrodynamical se...

This paper deals with properties of canonical controllers. We first specify the behavior that they implement It follows that a canonical controller implements the desired controlled behavior if and only if the desired behavior is implementable, We subsequently investigate the regularity of the controlled behavior. We prove that a canonical controller is regular if and only if every controller i...

In this paper we establish a one-to-one correspondence between lawinvariant convex risk measures on L∞ and L. This proves that the canonical model space for the predominant class of law-invariant convex risk measures is L.

In this paper we provide a rigorous toolkit for extending convex risk measures from L∞ to L, for p ≥ 1. Our main result is a one-to-one correspondence between law-invariant convex risk measures on L∞ and L. This proves that the canonical model space for the predominant class of law-invariant convex risk measures is L. Some significant counterexamples illustrate the many pitfalls with convex ris...

The quantization of the induced 2d-gravity on a compact spatial section is carried out in three different ways. In the three approaches the supermomentum constraint is solved at the classical level but they differ in the way the hamiltonian constraint is imposed. We compare these approaches establishing an isomorphism between the resulting Hilbert spaces. † Work partially supported by the C.I.C...

In this paper, we construct a quantization functor, associating a complex vector space H(V ) to a finite dimensional symplectic vector space V over a finite field of odd characteristic. As a result, we obtain a canonical model for the Weil representation of the symplectic group Sp (V ). The main new technical result is a proof of a stronger form of the Stone-von Neumann property for the Heisenb...

We investigate whether the equivalence theorem in f(R)-type gravity is valid also in quantum theory. It is shown that, if the canonical quantization is assumed, the equivalence does not hold in quantum theory.

This paper integrates asymmetric information between firms into a canonical model of on-the-job search. Workers are heterogeneous in ability, but not all employers observe a worker’s type. Wage dispersion caused by search frictions makes the equilibrium wage distribution insensitive to informational asymmetries. Hence, the equilibrium outcome may be the same as when a worker’s ability is known ...