{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:04:43Z","timestamp":1737435883479,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540424871"},{"type":"electronic","value":"9783540446699"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44669-9_16","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T10:32:26Z","timestamp":1186741946000},"page":"150-161","source":"Crossref","is-referenced-by-count":2,"title":["Modelling Change with the Aid of Knowledge and Time"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Heinemann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,8,2]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1998-3611","volume":"36","author":"G. Bhat","year":"1998","unstructured":"Girish Bhat and Doron Peled. Adding Partial Orders to Linear Temporal Logic. Fundamenta Informaticae, 36:1\u201321, 1998.","journal-title":"Fundamenta Informaticae"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"Patrick Blackburn. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of th IGPL, 8:339\u2013365, 2000.","journal-title":"Logic Journal of th IGPL"},{"key":"16_CR3","unstructured":"Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic. Forthcoming (preprint web-available)."},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A. Dabrowski","year":"1996","unstructured":"Andrew Dabrowski, Lawrence S. Moss, and Rohit Parikh. Topological Reasoning and The Logic of Knowledge. Annals of Pure and Applied Logic, 78:73\u2013110, 1996.","journal-title":"Annals of Pure and Applied Logic"},{"key":"16_CR5","unstructured":"Clare Dixon and Michael Fisher. Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall. In International Conference on Temporal Logic 2000, pages 43\u201352, Leipzig, October 2000. University of Leipzig."},{"key":"16_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge (Mass.), 1995."},{"key":"16_CR7","series-title":"Oxford Logic Guides","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundations and Computational Aspects","author":"D. M. Gabbay","year":"1994","unstructured":"Dov M. Gabbay, Ian Hodkinson, and Mark Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects, volume 28 of Oxford Logic Guides. Clarendon Press, Oxford, 1994."},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1004908502255","volume":"59","author":"K. Georgatos","year":"1997","unstructured":"Konstantinos Georgatos. Knowledge on Treelike Spaces. Studia Logica, 59:271\u2013301, 1997.","journal-title":"Studia Logica"},{"key":"16_CR9","series-title":"CSLI Lecture Notes","volume-title":"Logics of Time and Computation","author":"R. Goldblatt","year":"1992","unstructured":"Robert Goldblatt. Logics of Time and Computation, volume 7 of CSLI Lecture Notes. Center for the Study of Language and Information, Stanford, second edition, 1992.","edition":"second edition"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Y. Halpern","year":"1990","unstructured":"Joseph Y. Halpern and Yoram Moses. Knowledge and Common Knowledge in a Distributed Environment. Journal of the ACM, 37:549\u2013587, 1990.","journal-title":"Journal of the ACM"},{"key":"16_CR11","unstructured":"Joseph Y. Halpern, Ron van der Meyden, and Moshe Y. Vardi. Complete Axiomatizations for Reasoning about Knowledge and Time. Preprint (web-available), 1997."},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Y. Halpern","year":"1989","unstructured":"Joseph Y. Halpern and Moshe Y. Vardi. The Complexity of Reasoning about Knowledge and Time. I. Lower Bounds. Journal of Computer and System Sciences, 38:195\u2013237, 1989.","journal-title":"Journal of Computer and System Sciences"},{"issue":"1\u20132","key":"16_CR13","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0304-3975(98)00310-7","volume":"224","author":"B. Heinemann","year":"1999","unstructured":"Bernhard Heinemann. Temporal Aspects of the Modal Logic of Subset Spaces. Theoretical Computer Science, 224(1\u20132):135\u2013155, 1999.","journal-title":"Theoretical Computer Science"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Bernhard Heinemann. Extending Topological Nexttime Logic. In S. D. Goodwin and A. Trudel, editors, Temporal Representation and Reasoning, 7th International Workshop, TIME-00, pages 87\u201394, Los Alamitos, Ca., 2000. IEEE Computer Society Press.","DOI":"10.1109\/TIME.2000.856589"},{"key":"16_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-45499-3_6","volume-title":"Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000","author":"B. Heinemann","year":"2000","unstructured":"Bernhard Heinemann. Generalizing the Modal and Temporal Logic of Linear Time. In T. Rus, editor, Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, volume 1816 of Lecture Notes in Computer Science, pages 41\u201356. Springer, 2000."},{"key":"16_CR16","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1977","unstructured":"Jaakko Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, N.Y., 1977. 5th Printing."},{"key":"16_CR17","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1991","unstructured":"Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, New York, 1991."},{"key":"16_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4222-2","volume-title":"Temporal Verification of Reactive Systems","author":"Z. Manna","year":"1995","unstructured":"Zohar Manna and Amir Pnueli. Temporal Verification of Reactive Systems. Springer, New York, 1995."},{"key":"16_CR19","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A. P. Sistla","year":"1985","unstructured":"A. Prasad Sistla and Edmund M. Clarke. The Complexity of Propositional Linear Temporal Logics. Journal of the ACM, 32:733\u2013749, 1985.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44669-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T07:27:57Z","timestamp":1737358077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44669-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540424871","9783540446699"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-44669-9_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}