{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:37Z","timestamp":1725662857769},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:36:07Z","timestamp":1330169767000},"page":"1-15","source":"Crossref","is-referenced-by-count":4,"title":["The connection between modal logic and algorithmic logics"],"prefix":"10.1007","author":[{"given":"P.","family":"Emde Boas","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"1_CR1","first-page":"167","volume-title":"A calculus for recursive program schemes","author":"J. W. Bakker de","year":"1973","unstructured":"de Bakker, J.W. & W.P. de Roever. A calculus for recursive program schemes, in M. Nivat, (ed.) Proc. ICALP 1 (Versailles 1972), pp 167\u2013196. North Holl. Publ. Co. 1973, Amsterdam."},{"key":"1_CR2","series-title":"Rep. IW","volume-title":"Correctness proofs for assignment statements","author":"J. W. Bakker de","year":"1976","unstructured":"de Bakker, J.W. Correctness proofs for assignment statements, Rep. IW 55\/76, Mathematical Centre, 1976 Amsterdam."},{"key":"1_CR3","volume-title":"Mathematical foundations of Computer Science","author":"L. Banachowski","year":"1977","unstructured":"Banachowski, L. e.a. An introduction to Algorithmic Logic; Mathematical investigations in the theory of programs, in A. Mazurkiewitcz & Z. Pawlak (eds.), Mathematical foundations of Computer Science, Banach Centre Publ. 1977 Warsaw."},{"key":"1_CR4","first-page":"85","volume":"40","author":"J. F. A. A. Benthem van","year":"1975","unstructured":"van Benthem, J.F.A. A note on modal formulae and relational properties, J.S.L. 40 1975 pp 85\u201388.","journal-title":"J.S.L."},{"key":"1_CR5","unstructured":"Blok, W.J. The lattice of modal logics. An algebraic investigation, Rep 77-15 Dept. of Mathematics Univ. of Amsterdam 1977."},{"key":"1_CR6","first-page":"269","volume":"9","author":"R. L. Constable","year":"1977","unstructured":"Constable, R.L. On the theory of programming logics, Proc. ACM STOC 9 1977 pp 269\u2013285.","journal-title":"Proc. ACM STOC"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00264468","volume":"8","author":"J. E. Donahue","year":"1977","unstructured":"Donahue, J.E. Locations considered Unnecessary, Acta Informatica 8 1977 pp 221\u2013242.","journal-title":"Acta Informatica"},{"key":"1_CR8","first-page":"25","volume":"100","author":"G. Frege","year":"1892","unstructured":"Frege, G. Uber Sinn und Bedeutung Zeitschrift f\u00fcr Philosophie und Philosophische Kritik (N.S.) 100 1892, pp 25\u201350. Transl.: On sense and Reference Translations from the writings of Gottlob Frege, P. Geach & M. Black (eds.), Basil Blackwell 1952 Oxford.","journal-title":"Zeitschrift f\u00fcr Philosophie und Philosophische Kritik (N.S.)"},{"key":"1_CR9","volume-title":"Intensional and higher order Modal logic","author":"D. Gallin","year":"1975","unstructured":"Gallin, D. Intensional and higher order Modal logic, North. Holl. Publ. Co. 1975 Amsterdam."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Goldblatt, R.I. & S.K. Thomason Axiomatic classes in propositional modal logic in J. Crossley (ed.) Algebra and logic, Proc. Autsr. Math. Summer Inst. 1974. Springer LNM 450 1975 Berlin.","DOI":"10.1007\/BFb0062855"},{"key":"1_CR11","unstructured":"Griess, D. Assignment to subscripted variables Rep TR 77-305 Dept. Comp. Sci. Cornell Univ. Ithaca NY. 1977."},{"key":"1_CR12","unstructured":"Harel, D. On the correctness of Regular deterministic programs. A unifying survey, preprint MIT Dec 1977 Cambridge Mass."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Harel, D. Arithmetical completeness in logics of programs in Proc. ICALP 5 (Udine 1978), Springer LCS (to appear).","DOI":"10.1007\/3-540-08860-1_20"},{"key":"1_CR14","first-page":"261","volume":"9","author":"D. Harel","year":"1977","unstructured":"Harel, D., A. Meyer & V.R. Pratt Computability and completeness in logics of programs Proc. ACM STOC 9 1977 pp. 261\u2013268.","journal-title":"Proc. ACM STOC"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF00289504","volume":"2","author":"C. A. R. R. Hoare","year":"1973","unstructured":"Hoare, C.A.R. & N. Wirth, An axiomatic definition of the programming language PASCAL, Acta Informatica 2 1973 pp. 335\u2013355.","journal-title":"Acta Informatica"},{"key":"1_CR16","volume-title":"An introduction to Modal logic","author":"G. E. Hughes","year":"1968","unstructured":"Hughes, G.E. & M.J. Cresswell, An introduction to Modal logic, Methuen & Co. 1968 London."},{"key":"1_CR17","unstructured":"Janssen, T.M.V. Compositionality and the form of the rules in Montague grammar Proc. 2nd Amsterdam Coll. on Montague grammar and related topics. Dept. of philosophy, Univ. of Amsterdam (to appear)."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Janssen, T.M.V. & P. van Emde Boas, On the proper treatment of referencing, dereferencing and assignment in A. Salomaa & M. Steinby (eds.) Proc. ICALP 4 (Turku 1977), Springer LCS 52 pp 282\u2013300.","DOI":"10.1007\/3-540-08342-1_22"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Janssen, T.M.V. & P. van Emde Boas, The expressive power of intensional logic in the semantics of programming languages, in J. Gruska (ed.) Proc. MFCS 6 (Tatranska Lomnica 1977), Springer LCS 53 pp 303\u2013311.","DOI":"10.1007\/3-540-08353-7_149"},{"key":"1_CR20","first-page":"83","volume":"16","author":"S. Kripke","year":"1963","unstructured":"Kripke, S. Semantical considerations on Modal logic Acta Philosophica Fennica 16 1963 pp 83\u201394. Repr. in [24].","journal-title":"Acta Philosophica Fennica"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00264469","volume":"8","author":"F. Kr\u00f6ger","year":"1977","unstructured":"Kr\u00f6ger, F. LAR: A logic of Algorithmic Reasoning, Acta Informatica 8 1977 pp 243\u2013266.","journal-title":"Acta Informatica"},{"key":"1_CR22","first-page":"46","volume":"31","author":"E. J. Lemmon","year":"1966","unstructured":"Lemmon, E.J. Algebraic semantics for modal logic I & II, J.S.L. 31 1966 pp 46\u201365 & 196\u2013218.","journal-title":"J.S.L."},{"key":"1_CR23","volume-title":"Symbolic logic","author":"C. I. Lewis","year":"1932","unstructured":"Lewis, C.I. & C.H. Langford Symbolic logic Dover 1932 New York."},{"key":"1_CR24","volume-title":"Reference and Modality","author":"L. Linski","year":"1971","unstructured":"Linski, L., Reference and Modality, Oxford univ. press 1971 Oxford."},{"key":"1_CR25","first-page":"159","volume":"21","author":"Z. Manna","year":"1978","unstructured":"Manna, Z. & R. Waldiger Is \"sometimes\" sometimes better than \"always\", Comm. A.C.M. 21 1978 pp 159\u2013171.","journal-title":"Comm. A.C.M."},{"key":"1_CR26","unstructured":"Montague, R. The proper treatment of quantification in ordinary Engish, in J. Hintikka, J. Moravcsik & P. Suppes (eds.) Approaches to natural language, Reidel 1973 Dordrecht. Repr. in R.H. Thomason (ed.) Formal Philosophy, Selected papers of Richard Montague, Yale Univ. press 1974 New Haven & London."},{"key":"1_CR27","first-page":"46","volume":"18","author":"A. Pnuelli","year":"1977","unstructured":"Pnuelli, A. The temporal logic of programs Proc. IEEE FOCS 18 1977 pp 46\u201357.","journal-title":"Proc. IEEE FOCS"},{"key":"1_CR28","first-page":"109","volume":"17","author":"V. R. Pratt","year":"1976","unstructured":"Pratt, V.R. Semantical considerations on Floyd-Hoare logic Proc. IEEE FOCS 17 1976 pp 109\u2013121.","journal-title":"Proc. IEEE FOCS"},{"key":"1_CR29","volume-title":"Word and Object","author":"W. V. Quine","year":"1960","unstructured":"Quine, W.V. Word and Object, the MIT press 1960 Cambridge Mass."},{"key":"1_CR30","unstructured":"Scott, D. & C. Strachey Towards a mathematical semantics for computer languages in J. Fox (ed.) Proc. Symp. on Computers and Automata, Polytechnic Inst. Brooklyn 1971 pp 19\u201346."},{"key":"1_CR31","first-page":"198","volume-title":"Formal language description languages for computer programming","author":"C. Strachey","year":"1966","unstructured":"Strachey, C. Towards a Formal semantics in T.B. Steel (ed.) Formal language description languages for computer programming, North. Holl. Publ. Co. 1966 Amsterdam pp 198\u2013220."},{"key":"1_CR32","series-title":"Tract MCT","volume-title":"Revised report on the algorithmic language ALGOL 68","year":"1976","unstructured":"van Wijngaarden, A. e.a. (eds.) Revised report on the algorithmic language ALGOL 68 Tract MCT 50 Mathematical Centre 1976 Amsterdam."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:00:18Z","timestamp":1605625218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}