Studia Logica 52 (4):595 - 613 (1993)
|Abstract||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)|
|Through your library||Configure|
Similar books and articles
Ulrich Meyer (2011). Time and Modality. In Craig Callender (ed.), The Oxford Handbook of Philosophy of Time. Oxford University Press.
Giuseppe Primiero & Mariarosiaria Taddeo (2012). A Modal Type Theory for Formalizing Trusted Communications. Journal of Applied Logic 10 (1):92-114.
B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev (2006). On Dynamic Topological and Metric Logics. Studia Logica 84 (1):129 - 160.
Steven T. Kuhn (1980). Quantifiers as Modal Operators. Studia Logica 39 (2-3):145 - 158.
Milan Božić & Kosta Došen (1984). Models for Normal Intuitionistic Modal Logics. Studia Logica 43 (3):217 - 245.
Melvin Fitting, Lars Thalmann & Andrei Voronkov (2001). Term-Modal Logics. Studia Logica 69 (1):133-169.
Gonzalo E. Reyes & Houman Zolfaghari (1996). Bi-Heyting Algebras, Toposes and Modalities. Journal of Philosophical Logic 25 (1):25 - 43.
Dominic Gregory (2001). Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators. Journal of Philosophical Logic 30 (1):57-78.
Added to index2009-01-28
Total downloads6 ( #145,615 of 549,087 )
Recent downloads (6 months)1 ( #63,317 of 549,087 )
How can I increase my downloads?