{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:38Z","timestamp":1760202638058},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631415"},{"type":"electronic","value":"9783540691884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63141-0_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:09:08Z","timestamp":1330279748000},"page":"347-360","source":"Crossref","is-referenced-by-count":6,"title":["Bisimulation and propositional intuitionistic logic"],"prefix":"10.1007","author":[{"given":"Anna","family":"Patterson","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"24_CR1","unstructured":"Aczel, P. 1988. Non-Well-Founded Sets. Vol. 14 of Lecture Notes. CSLI."},{"issue":"1","key":"24_CR2","doi-asserted-by":"crossref","first-page":"152","DOI":"10.2307\/2273952","volume":"51","author":"F. Bellissima","year":"1986","unstructured":"Bellissima, F. 1986. Finitely generated free Heyting algebras. Journal of Symbolic Logic 51(1):152\u2013165.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR3","unstructured":"Benthem, J. v. 1976. Modal Correspondence theory. PhD thesis, Mathematical Institute, University of Amsterdam. See also Correspondence Theory, Handbook of philosophical logic, Vol. II, Reidel, Dordrecht 1984."},{"key":"24_CR4","unstructured":"Birkhoff, G. 1948. Lattice Theory. Vol. 25. A.M.S. Colloq. Publications."},{"volume-title":"Kurt G\u00f6del Collected Works","year":"1986","key":"24_CR5","unstructured":"Feferman, S. (Ed.). 1986. Kurt G\u00f6del Collected Works. Oxford, UK: Oxford University Press."},{"key":"24_CR6","unstructured":"Fitting, M. C. 1969. Intuitionistic logic, model theory and forcing. North-Holland."},{"key":"24_CR7","unstructured":"Goldblatt, R. 1993. Mathematics of modality. Vol. 43 of Lecture Notes. CSLI."},{"key":"24_CR8","unstructured":"Heyting, A. 1966. Intuitionism \u2014 An Introduction. North-Holland."},{"key":"24_CR9","unstructured":"Hollenberg, M. 1994. Hennessy-Milner classes and process algebra. Technical Report 124, Utrecht Research Institute for Philosophy."},{"key":"24_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S. 1963. A semantical analysis of modal logic I: normal modal propositional calculi. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik 9:67\u201396. Announced in Journal of Symbolic Logic, 24, 1959, p. 323.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Kripke, S. A. 1965. Semantical analysis of intuitionistic logic I. In Formal Systems and Recursive Functions, 92\u2013130. Amsterdam: (Proc. 8th Logic Colloq. Oxford 1963) North-Holland.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"24_CR12","unstructured":"Lewis, C., and C. Langford. 1932. Symbolic Logic. The Century Company. 2nd ed. 1959, Dover Publications, Inc."},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/2267105","volume":"6","author":"J. McKinsey","year":"1941","unstructured":"McKinsey, J. 1941. A solution to the decision problem for the Lewis systems S.2 and S.4 with an application to topology. Journal of Symbolic Logic 6:117\u2013134.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR14","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. McKinsey","year":"1944","unstructured":"McKinsey, J., and A. Tarski. 1944. The algebra of topology. Annals of Mathematics 45:141\u2013191.","journal-title":"Annals of Mathematics"},{"key":"24_CR15","doi-asserted-by":"crossref","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"J. McKinsey","year":"1946","unstructured":"McKinsey, J., and A. Tarski. 1946. On closed elements in closure algebras. Annals of Mathematics 47:122\u2013162.","journal-title":"Annals of Mathematics"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Milner, R. 1980. A Calculus of Communicating Systems, LNCS 92. Springer-Verlag.","DOI":"10.1007\/3-540-10235-3"},{"key":"24_CR17","doi-asserted-by":"crossref","first-page":"327","DOI":"10.2307\/2963526","volume":"25","author":"I. Nishimura","year":"1960","unstructured":"Nishimura, I. 1960. On formulas in one variable in intuitionistic propositional calculus. Journal of Symbolic Logic 25:327\u2013331.","journal-title":"Journal of Symbolic Logic"},{"key":"24_CR18","unstructured":"Rasiowa, H., and R. Sikorski. 1963. The Mathematics of Metamathematics. Vol. 41 of Polska Akademia Nauk. Monografie matematyczne. Warsaw."},{"issue":"82","key":"24_CR19","doi-asserted-by":"crossref","first-page":"16","DOI":"10.21136\/CMJ.1957.100226","volume":"7","author":"L. R\u00edger","year":"1957","unstructured":"R\u00edger, L. 1957. Zam\u00e9tka o t. naz. svobodnyh alg\u00e9brah c zamykani\u00e1mi. Czechoslovak Mathematical Journal 7(82):16\u201320.","journal-title":"Czechoslovak Mathematical Journal"},{"key":"24_CR20","unstructured":"Rijke, M. d. 1996. Modal Logics and Process Algebra. Cambridge University Press and CSLI."},{"key":"24_CR21","unstructured":"Rodenburg, P. 1986. Intuitionistic Correspondence Theory. PhD thesis, University of Amsterdam."},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Scott, D. 1972. Continuous lattices. In Proc. 1971 Dalhousie Conference: LNM 274, 97\u2013136. Springer-Verlag.","DOI":"10.1007\/BFb0073967"}],"container-title":["Lecture Notes in Computer Science","CONCUR '97: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63141-0_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:34:55Z","timestamp":1640932495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63141-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631415","9783540691884"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-63141-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}