{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:46Z","timestamp":1725663166067},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_88","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:00:09Z","timestamp":1330189209000},"page":"409-421","source":"Crossref","is-referenced-by-count":4,"title":["Measuring the expressive power of dynamic logics: An application of abstract model theory"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Makowsky","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"35_CR1","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","author":"K. J. Barwise","year":"1974","unstructured":"Barwise, K.J., Axioms for abstract model theory, Annals of mathematical logic, vol. 7 (1974) pp 221\u2013265","journal-title":"Annals of mathematical logic"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Harel, D. First-order Dynamic logic, Lecture Notes in Computer Science, vol. 68, Heidelberg 1979","DOI":"10.1007\/3-540-09237-4"},{"key":"35_CR3","unstructured":"Keisler, H.J., Model Theory for Infinitary Logic, Studies in Logic vol 62, Amsterdam 1971"},{"key":"35_CR4","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0003-4843(76)90021-8","volume":"10","author":"J. A. Makowsky","year":"1976","unstructured":"Makowsky, J.A., Shelah, S. and Stavi, J., \u0394-Logics and generalized quantifiers, Annals of mathematical logic, vol 10 (1976) pp 155\u2013192","journal-title":"Annals of mathematical logic"},{"key":"35_CR5","unstructured":"Meyer,A. and Parikh,R., Definability in dynamic logic, MIT\/LCS\/TM-156, 1986"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Banachowski,L. et al., An Introduction to algorithmic logic; Meta-mathematical investigation in the theory of programs, In Mathematical Foundations of Computer Science, Mazurkiewicz et al.ed. Banach Center Publications, vol. 2, Warsaw 1977","DOI":"10.4064\/-2-1-7-99"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"A.Meyer and K.Winklmann, On the expressive power of dynamic logic, MIT\/LCS\/TM-157, Feb. 1980","DOI":"10.1145\/800135.804410"},{"key":"35_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","volume":"35","author":"P. Lindstr\u00f6m","year":"1969","unstructured":"P. Lindstr\u00f6m, On extensions of elementary logic, Theoria, vol.35 (1969), pp 1\u201311.","journal-title":"Theoria"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_88.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:02:24Z","timestamp":1605643344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_88","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}