{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,17]],"date-time":"2025-11-17T14:08:38Z","timestamp":1763388518204},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540727323"},{"type":"electronic","value":"9783540727347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72734-7_12","type":"book-chapter","created":{"date-parts":[[2007,6,28]],"date-time":"2007-06-28T09:40:50Z","timestamp":1183023650000},"page":"162-179","source":"Crossref","is-referenced-by-count":5,"title":["Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Davoren","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1093\/logcom\/13.6.889","volume":"13","author":"M. Aiello","year":"2003","unstructured":"Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: the modal way. J. Logic and Computation\u00a013, 889\u2013920 (2003)","journal-title":"J. Logic and Computation"},{"key":"12_CR2","volume-title":"Set-Valued Analysis","author":"J.-P. Aubin","year":"1990","unstructured":"Aubin, J.-P., Frankowska, H.: Set-Valued Analysis. Birkh\u00e4user, Boston (1990)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/9.981719","volume":"47","author":"J.-P. Aubin","year":"2002","unstructured":"Aubin, J.-P., Lygeros, J., Quincampoix, M., Sastry, S., Seube, N.: Impulse differential inclusions: A viability approach to hybrid systems. IEEE Trans. Automatic Control\u00a047, 2\u201320 (2002)","journal-title":"IEEE Trans. Automatic Control"},{"key":"12_CR4","first-page":"362","volume":"61","author":"G. Bezhanishvili","year":"1999","unstructured":"Bezhanishvili, G.: Varieties of monadic Heyting algebras. part I. Studia Logica\u00a061, 362\u2013402 (1999)","journal-title":"Studia Logica"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1023\/A:1005173628262","volume":"62","author":"G. Bezhanishvili","year":"1999","unstructured":"Bezhanishvili, G.: Varieties of monadic Heyting algebras. part II: Duality theory. Studia Logica\u00a062, 21\u201348 (1999)","journal-title":"Studia Logica"},{"key":"12_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"822","DOI":"10.1007\/3-540-57887-0_127","volume-title":"Theoretical Aspects of Computer Software","author":"M.M. Bonsangue","year":"1994","unstructured":"Bonsangue, M.M., Kok, J.N.: Relating multifunctions and predicate transformers through closure operators. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol.\u00a0789, pp. 822\u2013843. Springer, Heidelberg (1994)"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"609","DOI":"10.2307\/2269696","volume":"31","author":"R.A. Bull","year":"1966","unstructured":"Bull, R.A.: MIPC as a formalization of an Intuitionist concept of modality. J. Symbolic Logic\u00a031, 609\u2013616 (1966)","journal-title":"J. Symbolic Logic"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1051\/ita:1999123","volume":"33","author":"J.M. Davoren","year":"1999","unstructured":"Davoren, J.M.: Topologies, continuity and bisimulations. Theoretical Informatics and Applications\u00a033, 357\u2013381 (1999)","journal-title":"Theoretical Informatics and Applications"},{"unstructured":"Davoren, J.M.: 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)","key":"12_CR10"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/978-3-540-24743-2_19","volume-title":"Hybrid Systems: Computation and Control","author":"J.M. Davoren","year":"2004","unstructured":"Davoren, J.M., Coulthard, V., Markey, N., Moor, T.: Non-deterministic temporal logics for general flow systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993, pp. 280\u2013295. Springer, Heidelberg (2004)"},{"unstructured":"Davoren, J.M., Coulthard, V., Moor, T., Gor\u00e9, R.P., Nerode, A.: 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","key":"12_CR12"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1142\/9789812776471_0006","volume-title":"Advances in Modal Logic 3","author":"J.M. Davoren","year":"2002","unstructured":"Davoren, J.M., Gor\u00e9, R.P.: Bimodal logics for reasoning about continuous dynamics. In: Advances in Modal Logic 3, pp. 91\u2013110. World Scientific, Singapore (2002)"},{"key":"12_CR14","first-page":"147","volume":"15","author":"L. Esakia","year":"1974","unstructured":"Esakia, L.: Topological kripke models (English Translation). Soviet Mathematics: Doklady\u00a015, 147\u2013151 (1974)","journal-title":"Soviet Mathematics: Doklady"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"W.B. Ewald","year":"1986","unstructured":"Ewald, W.B.: Intuitionistic tense and modal logic. J. of Symbolic Logic\u00a051, 166\u2013179 (1986)","journal-title":"J. of Symbolic Logic"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF02121259","volume":"36","author":"G. Fischer Servi","year":"1977","unstructured":"Fischer Servi, G.: On modal logic with an Intuitionistic base. Studia Logica\u00a036, 141\u2013149 (1977)","journal-title":"Studia Logica"},{"key":"12_CR17","first-page":"59","volume-title":"Italian Studies in the Philosophy of Science","author":"G. Fischer Servi","year":"1981","unstructured":"Fischer Servi, G.: Semantics for a class of Intuitionistic modal calculi. In: Italian Studies in the Philosophy of Science, pp. 59\u201372. D. Reidel, Dordrecht (1981)"},{"key":"12_CR18","first-page":"179","volume":"42","author":"G. Fischer Servi","year":"1984","unstructured":"Fischer Servi, G.: Axiomatizations for some Intuitionistic modal logics. Rend. Sem. Mat. Univers. Politecn. Torino\u00a042, 179\u2013194 (1984)","journal-title":"Rend. Sem. Mat. Univers. Politecn. Torino"},{"key":"12_CR19","volume-title":"Intuitionistic Logic, Model Theory and Forcing","author":"M.C. Fitting","year":"1968","unstructured":"Fitting, M.C.: Intuitionistic Logic, Model Theory and Forcing. North-Holland, Amsterdam (1968)"},{"key":"12_CR20","series-title":"Studies in Logic","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic, vol.\u00a0148. Elsevier, Amsterdam (2003)"},{"key":"12_CR21","first-page":"301","volume-title":"Collected Works","author":"K. G\u00f6del","year":"1989","unstructured":"G\u00f6del, K.: An interpretation of the Intuitionistic propositional calculus (1933). In: Feferman, S. (ed.) Collected Works (Publications 1929-1936), vol.\u00a01, pp. 301\u2013303. Oxford UP, Oxford (1989)"},{"key":"12_CR22","volume-title":"Advances in Modal Logic","author":"C. Grefe","year":"1998","unstructured":"Grefe, C.: Fischer Servi\u2019s intuitionistic modal logic has the finite model property. In: Advances in Modal Logic, CSLI, Stanford (1998)"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0022-4049(98)00170-4","volume":"148","author":"B.P. Hilken","year":"2000","unstructured":"Hilken, B.P.: Topological duality for intuitionistic modal algebras. J. of Pure and Applied Algebra\u00a0148, 171\u2013189 (2000)","journal-title":"J. of Pure and Applied Algebra"},{"key":"12_CR24","volume-title":"Topology","author":"K. Kuratowski","year":"1966","unstructured":"Kuratowski, K.: Topology. Academic Press, New York (1966)"},{"doi-asserted-by":"crossref","unstructured":"McKinsey, J.C.C., Tarski, A.: The algebra of topology. Annals of Mathematics, 141\u2013191 (1944)","key":"12_CR25","DOI":"10.2307\/1969080"},{"key":"12_CR26","volume-title":"A Short Introduction to Intuitionistic Logic","author":"G. Mints","year":"2000","unstructured":"Mints, G.: A Short Introduction to Intuitionistic Logic. Kluwer, New York (2000)"},{"unstructured":"Monteiro, A., Varsavsky, O.: Algebras de Heyting monadicas. Actas de las X Jornadas de la Union Matematica Argentina, 52\u201362 (1957)","key":"12_CR27"},{"doi-asserted-by":"crossref","unstructured":"Ono, H.: On some Intuitionistic modal logics. In: Publications of the Research Institute for Mathematical Science, Kyoto University, vol.\u00a013, pp. 55\u201367 (1977)","key":"12_CR28","DOI":"10.2977\/prims\/1195189604"},{"doi-asserted-by":"crossref","unstructured":"Plotkin, G., Stirling, C.: A framework for intuitionistic modal logics. In: Halpern, J.Y. (ed.) Proc. 1986 Conference: Theoretical Aspects of Reasoning About Knowledge (1986)","key":"12_CR29","DOI":"10.1016\/B978-0-934613-04-0.50032-6"},{"key":"12_CR30","volume-title":"Time and Modality","author":"A. Prior","year":"1957","unstructured":"Prior, A.: Time and Modality. Clarendon Press, Oxford (1957)"},{"key":"12_CR31","volume-title":"Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H., Sikorski, R.: Mathematics of Metamathematics. PWN, Warsaw (1963)"},{"unstructured":"Simpson, A.K.: The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD thesis, Department of Computer Science, University of Edinburgh (1994)","key":"12_CR32"},{"doi-asserted-by":"crossref","unstructured":"Smyth, M.B.: Topology. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 1, pp. 641\u2013751. Oxford Science (1992)","key":"12_CR33","DOI":"10.1093\/oso\/9780198537359.003.0005"},{"key":"12_CR34","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF02770508","volume":"48","author":"N.-Y. Suzuki","year":"1988","unstructured":"Suzuki, N.-Y.: An algebraic approach to Intuitionistic modal logics in connection with Intuitionistic predicate logic. Studia Logica\u00a048, 141\u2013155 (1988)","journal-title":"Studia Logica"},{"key":"12_CR35","first-page":"29","volume":"2","author":"O. Varsavsky","year":"1956","unstructured":"Varsavsky, O.: Quantifiers and equivalence relations. Revista Matematica Cuyana\u00a02, 29\u201351 (1956)","journal-title":"Revista Matematica Cuyana"},{"key":"12_CR36","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0168-0072(90)90059-B","volume":"50","author":"D. Wijesekera","year":"1990","unstructured":"Wijesekera, D.: Constructive modal logics I. Annals of Pure and Applied Logic\u00a050, 271\u2013301 (1990)","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR37","first-page":"227","volume-title":"Logic and Foundations of Mathematics","author":"F. Wolter","year":"1995","unstructured":"Wolter, F., Zakharyaschev, M.: Intuitionistic modal logic. In: Logic and Foundations of Mathematics, pp. 227\u2013238. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"12_CR38","first-page":"168","volume-title":"Logic at Work","author":"F. Wolter","year":"1998","unstructured":"Wolter, F., Zakharyaschev, M.: Intuitionistic modal logics as fragments of classical bimodal logics. In: Orlowska, E. (ed.) Logic at Work, pp. 168\u2013186. Kluwer Academic Publishers, Dordrecht (1998)"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72734-7_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T14:23:38Z","timestamp":1708007018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72734-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540727323","9783540727347"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72734-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}