Topological semantics and bisimulations for intuitionistic modal logics and their classical companion logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4514 LNCS, Issue , 2007, Pages 162-179

  Davoren, J M ^a  

^a UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; MODAL ANALYSIS; SEMANTICS; TOPOLOGY;

FISCHER SERVI; HILBERT STYLE AXIOMATIZATIONS; TOPOLOGICAL BISIMULATIONS; TOPOLOGICAL KRIPKE FRAMES;

FORMAL LOGIC;

EID: 35448936772     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (38)

1. M. Aiello, J. van Benthem, and G. Bezhanishvili. Reasoning about space: the modal way. J. Logic and Computation, 13:889-920, 2003.
2. J-P. Aubin and H. Frankowska. Set-Valued Analysis. Birkhäuser, Boston, 1990.
3. J.-P. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube. Impulse differential inclusions: A viability approach to hybrid systems. IEEE Trans. Automatic Control, 47:2-20, 2002.
4. G. Bezhanishvili. Varieties of monadic Heyting algebras, part I. Studia Logica, 61:362-402, 1999.
5. G. Bezhanishvili. Varieties of monadic Heyting algebras, part II: Duality theory. Studia Logica, 62:21-48, 1999.
6. P. Blackburn, M. de Rijke, and Y. Venema. Modal Logic. Cambridge University Press, 2001.
7. Marcello M. Bonsangue and Joost N. Kok. Relating multifunctions and predicate transformers through closure operators. In Theoretical Aspects of Computer Software (TACS '94), pages 822-843, 1994.
8. R.A. Bull. MIPC as a formalization of an Intuitionist concept of modality. J. Symbolic Logic, 31:609-616, 1966.
9. J.M. Davoren. Topologies, continuity and bisimulations. Theoretical Informatics and Applications, 33:357-381, 1999.
10. J.M. Davoren. Topological bisimulations and Hennessy-Milner classes for intuitionistic and classical spatio-temporal modal logics. Technical report, Department of Electrical & Electronic Engineering, University of Melbourne, January 2007.
11. J.M. Davoren, V. Coulthard, N. Markey, and T. Moor. Non-deterministic temporal logics for general flow systems. In R. Alur and G.J. Pappas, editors, Hybrid Systems: Computation and Control (HSCC'04), LNCS 2993, pages 280-295. Springer, 2003.
12. J.M. Davoren, V. Coulthard, T. Moor, R.P. Goré, and A. Nerode. Topological semantics for intuitionistic modal logics, and spatial discretisation by A/D maps. In Workshop on Intuitionistic Modal Logic and Applications (IMLA), Copenhagen, Denmark, 2002. Proceedings available as Technical Report No. 61, University of Bamberg, Faculty of Information Systems and Applied Computer Sciences.
13. J.M. Davoren and R.P. Gore. Bimodal logics for reasoning about continuous dynamics. In Advances in Modal Logic 3, pages 91-110. World Scientific, 2002.
14. L. Esakia. Topological kripke models. Soviet Mathematics: Doklady, 15:147-151, 1974. English Translation.
15. W.B. Ewald. Intuitionistic tense and modal logic. J. of Symbolic Logic, 51:166-179, 1986.
16. G. Fischer Servi. On modal logic with an Intuitionistic base. Studia Logica, 36:141-149, 1977.
17. G. Fischer Servi. Semantics for a class of Intuitionistic modal calculi. In Italian Studies in the Philosophy of Science, pages 59-72. D. Reidel, 1981.
18. G. Fischer Servi. Axiomatizations for some Intuitionistic modal logics. Rend. Sem. Mat. Univers. Politecn. Torino, 42:179-194, 1984.
19. M.C. Fitting. Intuitionistic Logic, Model Theory and Forcing. North Holland, 1968.
20. D.M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-Dimensional Modal Logics: Theory and Applications, volume 148 of Studies in Logic. Elsevier, 2003.
21. K. Gödel. An interpretation of the Intuitionistic propositional calculus (1933). In S. Feferman, editor, Collected Works, volume 1, pages 301-303. Oxford UP, 1989. Publications 1929-1936.
22. C. Grefe. Fischer Servi's intuitionistic modal logic has the finite model property. In Advances in Modal Logic, volume 1. CSLI, Stanford, 1998.
23. B.P. Hilken. Topological duality for intuitionistic modal algebras. J. of Pure and Applied Algebra, 148:171-189, 2000.
24. K. Kuratowski. Topology. Academic Press, New York, 1966.
25. J.C.C. McKinsey and A. Tarski. The algebra of topology. Annals of Mathematics, pages 141-191, 1944.
26. G. Mints. A Short Introduction to Intuitionistic Logic. Kluwer, New York, 2000.
27. A. Monteiro and O. Varsavsky. Algebras de Heyting monadicas. Actas de las X Jornadas de la Union Matematica Argentina, pages 52-62, 1957.
28. H. Ono. On some Intuitionistic modal logics. Publications of the Research Institute for Mathematical Science, Kyoto University, 13:55-67, 1977.
29. G. Plotkin and C. Stirling. A framework for intuitionistic modal logics. In J. Y. Halpern, editor, Proc. 1986 Conference: Theoretical Aspects of Reasoning About Knowledge, 1986.
30. A. Prior. Time and Modality. Clarendon Press, Oxford, 1957.
31. H. Rasiowa and R. Sikorski. Mathematics of Metamathematics. PWN Warsaw, 1963.
32. A.K. Simpson. The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, Department of Computer Science, University of Edinburgh, 1994.
33. M.B. Smyth. Topology. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, Vol 1, pages 641-751. Oxford Science, 1992.
34. N.-Y. Suzuki. An algebraic approach to Intuitionistic modal logics in connection with Intuitionistic predicate logic. Studia Logica, 48:141-155, 1988.
35. O. Varsavsky. Quantifiers and equivalence relations. Revista Matematica Cuyana, 2:29-51, 1956.
36. D. Wijesekera. Constructive modal logics I. Annals of Pure and Applied Logic, 50:271-301, 1990.
37. F. Wolter and M. Zakharyaschev. Intuitionistic modal logic. In Logic and Foundations of Mathematics, pages 227-238. Kluwer Academic Publishers, 1995.
38. F. Wolter and M. Zakharyaschev. Intuitionistic modal logics as fragments of classical bimodal logics. In E. Orlowska, editor, Logic at Work, pages 168-186. Kluwer Academic Publishers, 1998.