{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,26]],"date-time":"2023-09-26T08:10:42Z","timestamp":1695715842040},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2010,5,16]],"date-time":"2010-05-16T00:00:00Z","timestamp":1273968000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1007\/s11225-010-9258-2","type":"journal-article","created":{"date-parts":[[2010,5,15]],"date-time":"2010-05-15T15:28:58Z","timestamp":1273937338000},"page":"139-159","source":"Crossref","is-referenced-by-count":2,"title":["A Completeness Proof of Kiczuk\u2019s Logic of Physical Change"],"prefix":"10.1007","volume":"95","author":[{"given":"Robert","family":"Trypuz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,5,16]]},"reference":[{"key":"9258_CR1","unstructured":"Chellas, B. F., Modal Logic: an introduction, Cambridge University Press, 1993."},{"key":"9258_CR2","unstructured":"Clifford, J. E., \u2018Tense logic and the logic of change\u2019, Logique et Analyse, 9, 1966."},{"key":"9258_CR3","unstructured":"Kiczuk, S., Problematyka warto\u015bci poznawczej system\u00f3w logiki zmiany, Redakcja Wydawnictw KUL, 1984."},{"key":"9258_CR4","unstructured":"Kiczuk, S., \u2018System logiki zmiany\u2019, Roczniki Filozoficzne, 33(1), 1991."},{"key":"9258_CR5","unstructured":"Kiczuk, S., \u2018The System of the Logic of Change\u2019, Studies in Logic and Thory of Knowledge, 2, 51\u201386, Lublin 1991."},{"key":"9258_CR6","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A.N. Prior","year":"1967","unstructured":"Prior A.N.: Past, Present and Future. Clarendon Press, Oxford (1967)"},{"key":"9258_CR7","unstructured":"Scott, D., The logic of tenses, Stanford University, 1965."},{"key":"9258_CR8","unstructured":"\u015awie\u0327torzecka, K., Classical Conceptions of the Changeability of Situations and Things Represented in Formalized Languages, Wydawnictwo Uniwersytetu Kardyna\u0142a Stefana Wyszy\u0144skiego, 2008."},{"key":"9258_CR9","volume-title":"Norm and Action","author":"G.H. Von Wright","year":"1963","unstructured":"Von Wright G.H.: Norm and Action. The Humanities Press, New York (1963)"},{"key":"9258_CR10","first-page":"293","volume":"18","author":"G.H. Von Wright","year":"1965","unstructured":"Von Wright G.H.: \u2018And Next\u2019. Acta Philosophica Fennica 18, 293\u2013304 (1965)","journal-title":"Acta Philosophica Fennica"},{"issue":"7","key":"9258_CR11","first-page":"1","volume":"32","author":"G.H. Von Wright","year":"1966","unstructured":"Von Wright G.H.: \u2018And Then\u2019. Commentationes Phisio-Mathematicae 32(7), 1\u201311 (1966)","journal-title":"Commentationes Phisio-Mathematicae"},{"key":"9258_CR12","unstructured":"Wajszczyk, J., Logika a czas i zmiana, Wydawnictwo WSP, 1995."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9258-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9258-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9258-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:24:47Z","timestamp":1559370287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9258-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,16]]},"references-count":12,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["9258"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9258-2","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,16]]}}}