Relational semantics through duality

Abstract

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. © Springer-Verlag Berlin Heidelberg 2006.Conference Pape

    Similar works