Brock TR # CS-05-08 Abstract

Relational semantics through duality    [PDF]
E. Orlowska, I. Rewitzky and I. Düntsch, July 2005.

In this paper we show how the classical duality results extended to a Duality via Truth contribute to development of a relational semantics for various modal-like logics. In particular, we present a Duality via Truth for some classes of information algebras and frames. We also show that the full categorical formulation of classical duality extends to a full Duality via Truth.