Intuitionistic logic and modality via topology

Annals of Pure and Applied Logic

Volumn 127, Issue 1-3 SPEC. ISS., 2004, Pages 155-170

  Esakia, Leo ^a  

^a INSTITUTE OF PHYSICS   (Georgia)

Author keywords

Closure algebra; Derivative algebra; Heyting algebras; Modal systems; Provability logic; Scattered space; Topological semantics

Indexed keywords

EID: 2342533916     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2003.11.013     Document Type: Article

References (43)

1. M. Abashidze, Algebraic analysis of the Gödel-Löb modal system, Ph.D. Thesis, Tbilisi State University, Tbilisi, 1987 (in Russian).
2. M. Abashidze, L. Esakia, Cantor's scattered spaces and the provability logic, Baku Internat. Topological Conf. (Abstract, Part I), Baku, 1987, p. 3.
3. 1 Indag. Math. 24 1962 26-37
4. Bernardi C. D'Aquino P. Topological duality for diagonalizable algebra Notre Dame J. Formal logic 29 1988 345-364
5. Blass A. Infinitary combinatorics and modal logic J. Symbolic Logic 55 1990 761-778
6. W.J. Blok, Varieties of interior algebras, Ph.D. Thesis, University of Amsterdam, 1976.
7. Bezhanishvili G. Mines R. Morandi P. Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces Topology Appl. 132 2003 291-306
8. Boolos G. Provability in arithmetic and a schema of Grzegorczyk Fund. Math. 106 1980 41-45
9. Boolos G. The Logic of Provability 1993 Cambridge University Press Cambridge
10. Chagrov A. Zakharyaschev M. Modal Logic 1998 Oxford University Press Oxford
11. Church A. J. Symbolic Logic 25 1960 263-264
12. L. Esakia, The modal logic of topological spaces, The Georgian Academy of Sciences, Preprint, 1976, 21pp.
13. L. Esakia, About modal "companions" of superinuitionistic logics, the VII Logic symposium (Abstract), Kiev, 1976, p. 160 (in Russian).
14. L. Esakia, On varieties of Grzegorczyk algebras, in: Studies in non-Classical Logic and Set Theory, Nauka, Moscow, 1979, pp. 257-287 (in Russian) (Selective Soviet Mathematics 3 (1983/84) 343-366).
15. L. Esakia, On the theory of modal and superintuitionistic logics, in: V.A. Smirnov (Ed.), Logical Inference, Nauka, Moscow, 1979, pp. 147-171 (in Russian).
16. L. Esakia, Diagonal constructions, Löb's formula and Cantor's scattered space, in: Z. Mikeladze (Ed.), Logical and Semantical Studies, Academic Press, Tbilisi, 1981, pp. 128-143 (in Russian).
17. L. Esakia, Heyting Algebras. Duality Theory, Academic Press, Tbilisi, 1985 (in Russian).
18. Esakia L. Quantification in intuitionistic logic with provability smack Bull. Sec. Logic 27 1998 26-28
19. L. Esakia, Synopsis of Fronton theory, in: Logical Studies, vol. 7, Academic Press, Moscow, 2000, pp. 137-147 (in Russian).
20. L. Esakia, Weak-transitivity-restitution, in: Logical Studies, vol. 8, Academic Press, Moscow, 2001, pp. 244-255 (in Russian).
21. Esakia L. Jibladze M. Pataraia D. Scattered toposes Ann. Pure Appl. Logic 103 2000 97-107
22. D. Gabelaia, Modal Definability in Topology, in: Dick de Jongh (Ed.), ILLC Scientific Publications, MoL-2001-11, Amsterdam, pp. 1-47.
23. Gödel K. Eine Interpretation intuitionistishen Aussagenkalkuls Ergennisse eines mathematischen Kolloquiums 4 1933 39-40
24. Goldblatt R. Arithmetical necessity, provability and intuitionistic logic Theoria 44 1978 38-46
25. Grzegorczyk A. Some relations systems and the associated topological spaces Fund. Math. 60 1967 223-231
26. Halmos P. Algebraic Logic 1962 Chelsea New York
27. Heyting A. Intuitionism 1956 North-Holland Amsterdam
28. A.V. Kuznetsov, A.Yu. Muravitsky, Provability logic, Proc. IVth Soviet Union Conf. Mathematical Logic, Kishiniew, 1976, p. 73 (in Russian).
29. Kuznetsov A.V. The proof-intuitionistic propositional calculus Dokl. Acad. Nauk SSSR 285 1 1985 27-30
30. E. Lemmon, D. Scott, Intensional Logic, Blackwell, Stanford, 1966.
31. Mazurkiewicz S. Sierpin̂ski W. Contribution a la topologie des ensembles denombrables Fund. Math. 1 1920 17-27
32. McKinsey J.C.C. On the syntactical construction of systems of modal logic J. Symbolic Logic 10 1945 83-94
33. McKinsey J. Tarski A. The algebra of topology Ann. Math. 45 1944 141-191
34. McKinsey J. Tarski A. On closed elements in closure algebras Ann. of Math. 47 1946 122-162
35. McKinsey J.C.C. Tarski A. Some theorems about the sentential calculi of Lewis and Heyting J. Symbolic Logic 13 1948 1-15
36. Muravitsky A.Yu. A correspondence between extensions of the proof-intuitionistic logic and extensions of the provability logic Dokl. Acad. Nauk SSSR 281 4 1985 27-30
37. de Rijke Maarten A The modal logic of inequality J. Symbolic Logic 57 1992 566-587
38. Segerberg K. Decidability of S4.1 Theoria 34 1968 7-20
39. K. Segerberg, An essay in classical modal logic, Philosophical Studies, vol. 13, The Philosophical Society, Uppsala, 1971.
40. K. Segerberg, "Somewhere else" and "some other time", in: Wright and Wrong: Mini Essay in Honor of G.H. von Wright, the Group in Logic and Methodology of Real Finland, vol. III, 1976, pp. 61-64.
41. Segerberg K. A note on the logic of elswhere Theoria 46 1980 183-187
42. Solovay R. Provability interpretation of modal logic Israel J. Math. 25 1976 287-304
43. Tarski A. Der Aussagenkalkul und die Topologie Fund. Math. 31 1938 103-134