{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:45:10Z","timestamp":1762458310359,"version":"3.43.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,9,1]],"date-time":"1997-09-01T00:00:00Z","timestamp":873072000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1997,9]]},"DOI":"10.1023\/a:1004908502255","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T15:24:14Z","timestamp":1040484254000},"page":"271-301","source":"Crossref","is-referenced-by-count":24,"title":["Knowledge on Treelike Spaces"],"prefix":"10.1007","volume":"59","author":[{"given":"Konstantinos","family":"Georgatos","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"146496_CR1","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/BF01843569","volume":"1","author":"M. Chandy","year":"1986","unstructured":"Chandy, M., and J. Misra, 1986, \u2018How processes learn\u2019, Distributed Computing\n1, 40\u201352","journal-title":"Distributed Computing"},{"key":"146496_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"B. F. Chellas","year":"1980","unstructured":"Chellas, B. F., 1980, Modal Logic: An Introduction, Cambridge University Press, Cambridge."},{"key":"146496_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A. Dabrowski","year":"1996","unstructured":"Dabrowski, A., L. Moss, and R. Parikh, 1996, \u2018Topological reasoning and the logic of knowledge\u2019, Annals of Pure and Applied Logic\n78, 73\u2013110","journal-title":"Annals of Pure and Applied Logic"},{"key":"146496_CR4","doi-asserted-by":"crossref","unstructured":"Fischer\nServi, G., 1980, \u2018Semantics for a class of intuitionistic modal calculi\u2019, In M. L. Dalla Chiara, editor, Italian Studies in the Philosophy of Science, 59\u201372, D. Reidel","DOI":"10.1007\/978-94-009-8937-5_5"},{"key":"146496_CR5","first-page":"179","volume":"42","author":"G. Fischer Servi","year":"1984","unstructured":"Fischer\nServi, G., 1984, \u2018Axiomatizations for some intuitionistic modal logics\u2019, Rend. Sem. Mat. Univers. Politecn. Torino\n42, 179\u2013194","journal-title":"Rend. Sem. Mat. Univers. Politecn. Torino"},{"key":"146496_CR6","doi-asserted-by":"crossref","unstructured":"Fitting, M. C., 1993, \u2018Basic modal logic\u2019, In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intellingence and Logic Programming, volume 1. Oxford University Press.","DOI":"10.1093\/oso\/9780198537458.003.0006"},{"key":"146496_CR7","volume-title":"Truth and Method","author":"H. G. Gadamer","year":"1975","unstructured":"Gadamer, H. G., 1975, Truth and Method, Continuum, New York."},{"key":"146496_CR8","unstructured":"Georgatos, K., 1993, \u2018Modal logics for topological spaces\u2019, Ph.D. Dissertation. Ph.D. Program in Mathematics, City University of New York."},{"key":"146496_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/3-540-58095-6_11","volume-title":"Knowledge Representation and Uncertainty","author":"K. Georgatos","year":"1994","unstructured":"Georgatos, K., 1994, \u2018Knowledge theoretic properties of topological spaces\u2019, In M. Masuch and L. P\u00f3los, editors, Knowledge Representation and Uncertainty, number 808 in Lecture Notes in Computer Science, 147\u2013159, Springer-Verlag, Berlin, New York."},{"key":"146496_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/BFb0021980","volume-title":"Logics in Artificial Intelligence (JELIA '94)","author":"K. Georgatos","year":"1994","unstructured":"Georgatos, K., 1994, \u2018Reasoning about knowledge on computation trees\u2019, In C. MacNish, D. Pearce, and L. M. Pereira, editors, Logics in Artificial Intelligence (JELIA '94), number 838 in Lecture Notes in Computer Science, 300\u2013315, Berlin, Springer-Verlag."},{"key":"146496_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-67678-9","volume-title":"A Compendium of Continuous Lattices","author":"G. Gierz","year":"1980","unstructured":"GIERZ, G., K. H. HOFFMAN, K. KEIMEL, J. D. LAWSON, M. W. MISLOVE, and D. S. SCOTT, 1980, A Compendium of Continuous Lattices, Springer-Verlag, Berlin, Heidelberg."},{"key":"146496_CR12","series-title":"CSLI Lecture Notes","volume-title":"Logics of Time and Computation","author":"R. Goldblatt","year":"1987","unstructured":"Goldblatt, R., 1987, Logics of Time and Computation, Number 7 in CSLI Lecture Notes. CSLI, Stanford."},{"key":"146496_CR13","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y., and Y. Moses, 1984, \u2018Knowledge and common knowledge in a distributed environment\u2019, In Proceedings of the Third ACM Symposium on Principles of Distributed Computing, 50\u201361","DOI":"10.1145\/800222.806735"},{"key":"146496_CR14","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Y. Halpern","year":"1989","unstructured":"Halpern, J. Y., and M. Y. Vardi, 1989, \u2018The complexity of reasoning about knowledge and time. i. lower bounds\u2019, Journal of Computer and System Sciences\n38, 195\u2013237","journal-title":"Journal of Computer and System Sciences"},{"key":"146496_CR15","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J., 1962, Knowledge and Belief, Cornell University Press, Ithaca, New York."},{"key":"146496_CR16","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/B978-0-934613-04-0.50007-7","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceeding of the 1986 Conference","author":"J. Hintikka","year":"1986","unstructured":"Hintikka, J., 1986, \u2018Reasoning about knowledge in philosophy, the paradigm of epistemic logic\u2019, In J. Y. Halpern, editor, Theoretical Aspects of Reasoning about Knowledge: Proceeding of the 1986 Conference, 63\u201380, Los Altos, Morgan Kaufmann."},{"key":"146496_CR17","unstructured":"Moss, L. S., and R. Parikh, 1992, \u2018Topological reasoning and the logic of knowledge\u2019, In Y. Moses, editor, Proceedings of the Fourth Conference (TARK 1992), 95\u2013105"},{"key":"146496_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-15648-8_21","volume-title":"Logics of Programs","author":"R. Parikh","year":"1985","unstructured":"Parikh, R., and R. Ramanujam, 1985, \u2018Distributed computing and the logic of knowledge\u2019, In R. Parikh, editor, Logics of Programs, number 193 in Lecture Notes in Computer Science, 256\u2013268, Berlin, New York, Springer-"},{"key":"146496_CR19","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. Prior","year":"1967","unstructured":"Prior, A., 1967, Past, Present and Future, Oxford University Press, London."},{"key":"146496_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1007\/BFb0036946","volume-title":"Automata, Languages and Programming","author":"M. B. Smyth","year":"1983","unstructured":"Smyth, M. B., 1983, \u2018Powerdomains and predicate transformers: a topological view\u2019, In J. Diaz, editor, Automata, Languages and Programming, number 154 in Lecture Notes in Computer Science, 662\u2013675, Berlin, Springer-Verlag."},{"key":"146496_CR21","doi-asserted-by":"crossref","unstructured":"Thomason, R. H., 1984, \u2018Combinations of tense and modality\u2019, In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume II, 135\u2013165, D. Reidel Publishing Company.","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"146496_CR22","first-page":"323","volume-title":"Ifs: Conditionals, Belief, Decision, Chance, and Time","author":"B. Van Fraassen","year":"1981","unstructured":"Van\nFraassen, B., 1981, \u2018A temporal framework for conditionals and chance\u2019, In W. Harper, R. Stalnaker, and G. Pearce, editors, Ifs: Conditionals, Belief, Decision, Chance, and Time, 323\u2013340, D. Reidel, Dordrecht"},{"key":"146496_CR23","volume-title":"Topology via Logic","author":"S. Vickers","year":"1989","unstructured":"Vickers, S., 1989, Topology via Logic, Cambridge Studies in Advanced Computer Science, Cambridge University Press, Cambridge."},{"key":"146496_CR24","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF00649485","volume":"14","author":"A. Zanardo","year":"1985","unstructured":"Zanardo, A., 1985, \u2018A finite axiomatization of the set of strongly valid ockhamist formulas\u2019, Journal of Philosophical Logic\n14, 447\u2013468.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004908502255.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1004908502255\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1004908502255.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:11:40Z","timestamp":1754629900000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1004908502255"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,9]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1997,9]]}},"alternative-id":["146496"],"URL":"https:\/\/doi.org\/10.1023\/a:1004908502255","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1997,9]]}}}