The modalized Heyting calculus: A conservative modal extension of the intuitionistic logic

Journal of Applied Non-Classical Logics

Volumn 16, Issue 3-4, 2006, Pages 349-366

  Esakia, Leo ^a  

^a A RAZMADZE MATHEMATICAL INSTITUTE   (Georgia)

Author keywords

Derivative algebra; Heyting algebra; Kripke frame; Modal operator; Provability logic; Topological semantics

Indexed keywords

EID: 38049169799     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.16.349-366     Document Type: Conference Paper

References (26)

1. 1", Nederl. Akad. Wetensch. Proc. Ser. A 65 = Indag. Math., vol. 24, 1962, p. 26-37
2. BEZHANISHVILI G., MINES R., MORANDI P. J., "Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces", Topology Appl., vol. 132, num. 3, 2003, p. 291-306
3. BLOK W. J., DWINGER P., "Equational classes of closure algebras. 1", Nederl. Akad. Wetensch. Proc. Ser. A 78=Indag. Math., vol. 37, 1975, p. 189-198
4. CHAGROV A., ZAKHARYASCHEV M., Modal logic, vol. 35 of Oxford Logic Guides, The Clarendon Press Oxford University Press, New York, 1997
5. CHURCH A., J. Symbolic Logic, vol. 25, 1960, p. 263-264
6. ESAKIA L., "On the variety of Grzegorczyk algebras", Studies in nonclassical logics and set theory (Russian), p. 257-287, "Nauka", Moscow, 1979, Translated in Selective Soviet Mathematics, 3(1983/84), 343-366
7. ESAKIA L., Heyting algebras. Duality theory (Russian), "Metsniereba", Tbilisi, 1985
8. ESAKIA L., JIBLADZE M., PATARAIA D., "Scattered toposes", Ann. Pure Appl. Logic, vol. 103, num. 1-3, 2000, p. 97-107
9. ESAKIA L., "Weak transitivity-a restitution", Logical investigations, No. 8 (Russian) (Moscow, 2001), p. 244-255, "Nauka", Moscow, 2001
10. ESAKIA L., "Intuitionistic logic and modality via topology7quot;, Ann. Pure Appl. Logic, vol. 127, num. 1-3, 2004, p. 155-170
11. GABBAY D. M., "On some new intuitionistic propositional connectives. 1", Studia Logica, vol. 36, num. 1-2, 1977, p. 127-139
12. GABELAIA D., "Topological semantics and two-dimensional combinations of modal logics", PhD thesis, King's College, London, 2005, available online, see http: //www.dcs.kcl.ac.uk/staff/gabelaia/Thesis-oneside.pdf
13. GOLDBLATT R. I., "Grothendieck topology as geometric modality", Z.Math. Logik Grundlag. Math., vol. 27, num. 6, 1981, p. 495-529
14. GRZEGORCZYK A., "Some relational systems and the associated topological spaces", Fund. Math., vol. 60, 1967, p. 223-231
15. KLEENE S. C., Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952
16. KUZNETSOV A. V., "The proof-intuitionistic propositional calculus"l, Dokl. Akad. Nauk SSSR, vol. 283, num. 1, 1985, p. 27-30
17. LAROUSSINIE F., SCHNOEBELEN P., "A hierarchy of temporal logics with past", Theoret. Comput. Sci., vol. 148, num. 2, 1995, p. 303-324
18. MCKINSEY J. C. C., TARSKI A., "The algebra of topology", Ann. of Math. (2), vol. 45, 1944, p. 141-191
19. MCKINSEY J. C. C., TARSKI A., "On closed elements in closure algebras", Ann. of Math. (2), vol. 47, 1946, p. 122-162
20. MURAVITSKY A. Y., "A correspondence between extensions of the Proof-Intuitionistic logic and extensions of the Provability Logic", Soviet Mat. Dokl., vol. 31, num. 2, 1985, p. 345-348
21. SAMBIN G., "An effective fixed-point theorem in intuitionistic diagonalizable algebras", Studia Logica, vol. 35, num. 4, 1976, p. 345-361
22. SIMMONS H., "An algebraic version of Cantor-Bendixson analysis", Categorical aspects of topology and analysis (Ottawa, Ont., 1980), vol. 915 of Lecture Notes in Math., p. 310-323, Springer, Berlin, 1982
23. SOLOVAY R. M., "Provability interpretations of modal logic", Israel J. Math., vol. 25, num. 3-4, 1976, p. 287-304
24. TOURAILLE A., "Théories d'algèbres de Boole munies d'idéaux distingués. 1. Théories élé mentaires", J. Symbolic Logic, vol. 52, num. 4, 1987, p. 1027-1043
25. TOURAILLE A., "Théories d'algèbres de Boole munies d'idéaux distingués. 2", J. Symbolic Logic, vol. 55, num. 3, 1990, p. 1192-1212
26. WOLTER F., ZAKHARYASCHEV M., "Intuitionistic modal logic", Logic and foundations of mathematics (Florence, 1995), vol. 280 of Synthese Lib., p. 227-238, Kluwer Acad. Publ., Dordrecht, 1999