Relational Semantics Through Duality

Relational Semantics Through Duality

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 cat...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Orłowska, Ewa, Rewitzky, Ingrid, Düntsch, Ivo
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Algebraic logic
Exact sciences and technology
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Sciences and techniques of general use
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/11734673_2