Studia Logica 52 (4):595 - 613 (1993)
In the paper , the first author developped a topos- theoretic approach to reference and modality. (See also ). This approach leads naturally to modal operators on locales (or spaces without points). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
A Topos-Theoretic Approach to Reference and Modality.Gonzalo E. Reyes - 1991 - Notre Dame Journal of Formal Logic 32 (3):359-391.
Citations of this work BETA
The Universal Modality, the Center of a Heyting Algebra, and the Blok–Esakia Theorem.Guram Bezhanishvili - 2009 - Annals of Pure and Applied Logic 161 (3):253-267.
Similar books and articles
Time and Modality.Ulrich Meyer - 2011 - In Craig Callender (ed.), The Oxford Handbook of Philosophy of Time. Oxford University Press. pp. 91--121.
A Modal Type Theory for Formalizing Trusted Communications.Giuseppe Primiero & Mariarosiaria Taddeo - 2012 - Journal of Applied Logic 10 (1):92-114.
Models for Normal Intuitionistic Modal Logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Bi-Heyting Algebras, Toposes and Modalities.Gonzalo E. Reyes & Houman Zolfaghari - 1996 - Journal of Philosophical Logic 25 (1):25 - 43.
Prefixed Tableaus and Nested Sequents.Melvin Fitting - 2012 - Annals of Pure and Applied Logic 163 (3):291 - 313.
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
Added to index2009-01-28
Total downloads20 ( #250,177 of 2,178,017 )
Recent downloads (6 months)1 ( #317,027 of 2,178,017 )
How can I increase my downloads?