Relational semantics through duality
Date
2006
Authors
Orlowska E.
Rewitzky I.
Duntsch I.
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Description
Keywords
Algebra, Formal logic, Modal analysis, Duality via Truth, Information algebras, Semantics
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
3929 LNCS
3929 LNCS