Topological duality for intuitionistic modal algebras

Journal of Pure and Applied Algebra

Volumn 148, Issue 2, 2000, Pages 171-189

  Hilken, Barnaby P ^a  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034724469     PISSN: 00224049     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0022-4049(98)00170-4     Document Type: Article

References (15)

1. [1] G.M. Bierman, V.C.V. de Paiva, Intuitionistic necessity revisited, Technical Report CSR-96-10, University of Birmingham, School of Computer Science, June 1996.
2. [2] W.B. Ewald, Intuitionistic tense and modal logic, J. Symbolic Logic 51 (1986) 166-179.
3. [3] M. Fairtlough, M. Mendler, Propositional Lax logic, Inform. Comput. 137(1) (1997) 1-33.
4. [4] G. Fischer Servi, Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univers. Politecn. Torino 42(3) (1984) 179-194.
5. [5] P.T. Johnstone, Stone Spaces, Cambridge Studies in Advanced Mathematics, vol. 3, Cambridge University Press, Cambridge, 1982.
6. [6] M. Makkai, G.E. Reyes, Completeness results for intuitionistic and modal logic in a categorical setting, Ann. Pure Appl. Logic 72 (1995) 25-101.
7. [7] A. Nerode, D. Wijesekera, Constructive concurrent dynamic logic, Math. Artificial Intell. 1(2) (1990).
8. [8] G. Plotkin, C. Stirling, A framework for intuitionistic modal logics, in: J.Y. Halpern (Ed.), Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, CA, 1986, pp. 399-406.
9. [9] S. Popkorn, First Steps in Modal Logic, Cambridge University Press, Cambridge, 1994.
10. [10] I. Rewitzky, C. Brink, Unification of four versions of program semantics, Research Reports RR 10/96, Department of Mathematics and Applied Mathematics, University of Cape Town, 1996.
11. [11] A. Simpson, The proof theory and semantics of intuitionistic modal logics, Ph.D. Thesis, University of Edinburgh, 1993.
12. [12] M.B. Smyth, Topology and tolerence, Electronic Notes in Theoretical Computer Science, vol. 6, 1997. URL: http://www.elsevier.nl/locate/entcs/volume6.html.
13. [13] J. Webster, Topology and measure theory in the digital setting: on the approximation of spaces by inverse sequences of graphs, Ph.D. Thesis, Imperial College, University of London, 1997.
14. [14] D. Wijesekera, Constructive modal logics I, Ann. Pure Appl. Logic 50 (1990) 271-301.
15. [15] S. Yokota, Improved algebraic semantics for first-order superintuitionistic modal logics, Comment. Math. Univ. Sancti Pauli 35(2) (1986) 201-207.