{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T16:10:13Z","timestamp":1707927013231},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T00:00:00Z","timestamp":1180483200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2008,2]]},"DOI":"10.1007\/s10992-007-9055-1","type":"journal-article","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T10:19:11Z","timestamp":1180433951000},"page":"45-56","source":"Crossref","is-referenced-by-count":5,"title":["A Grim Semantics For Logics of Belief"],"prefix":"10.1007","volume":"37","author":[{"given":"Christopher","family":"Steinsvold","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,5,30]]},"reference":[{"key":"9055_CR1","volume-title":"Handbook on Logics of Space","year":"2007","unstructured":"Aiello, M., Pratt-Hartmann, I., and van Benthem, J. (eds.): Handbook on Logics of Space, Kluwer, Dordrecht, 2007 (in preparation)."},{"key":"9055_CR2","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A. Dabrowski","year":"1996","unstructured":"Dabrowski, A., Moss, L., and Parikh, R.: Topological reasoning and the logic of knowledge, Annals of Pure and Applied Logic 78 (1996), 73\u2013110.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9055_CR3","volume-title":"Topology","author":"J. Dugudnji","year":"1965","unstructured":"Dugudnji, J.: Topology, Prentice-Hall, Englewood Cliffs, NJ, 1965."},{"key":"9055_CR4","first-page":"128","volume-title":"Logical and Semantical Investigations","author":"L. Esakia","year":"1981","unstructured":"Esakia, L.: Diagonal construction, L\u00f6b\u2019s formula and Cantor\u2019s scattered spaces, in Logical and Semantical Investigations, Academy, Tbilisi, 1981, pp. 128\u2013143 (in Russian)."},{"key":"9055_CR5","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"2003","unstructured":"Fagin, R., Halpern, J., Moses, Y., and Vardi, M.: Reasoning about Knowledge, MIT Press, Cambridge, Massachusetts, 2003."},{"key":"9055_CR6","unstructured":"Georgatos, K.: Modal Logics For Topological Space (Ph.D. Dissertation). Graduate School and University Center, City University of New York, 1993."},{"key":"9055_CR7","volume-title":"The Incomplete Universe","author":"P. Grim","year":"1991","unstructured":"Grim, P.: The Incomplete Universe, MIT Press, Cambridge, MA, 1991."},{"key":"9055_CR8","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"G. E. Hughes","year":"1996","unstructured":"Hughes, G. E. and Cresswell, M. J.: A New Introduction to Modal Logic, Routledge, New York, NY, 1996."},{"key":"9055_CR9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1305\/ndjfl\/1093956549","volume":"1","author":"D. Kaplan","year":"1960","unstructured":"Kaplan, D. and Montague, R.: A paradox regained, Notre Dame Journal of Formal Logic 1 (1960), 79\u201390.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9055_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"K. T. Kelly","year":"1996","unstructured":"Kelly, K. T.: The Logic of Reliable Inquiry, Oxford University Press, New York, 1996."},{"key":"9055_CR11","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. C. C. Mckinsey","year":"1944","unstructured":"Mckinsey, J. C. C. and Tarski, A.: The algebra of topology, Annals of Mathematics 45 (1944), 141\u2013191.","journal-title":"Annals of Mathematics"},{"key":"9055_CR12","first-page":"153","volume":"16","author":"R. Montague","year":"1963","unstructured":"Montague, R.: Syntactic treatments of modality with corollaries on reflexion principles and finite axiomatizability, Acta Philosophica Fennica 16 (1963), 153\u2013167.","journal-title":"Acta Philosophica Fennica"},{"key":"9055_CR13","unstructured":"Sarenac, D. and van Benthem, J.: The geometry of knowledge, Technical Report PP-2004-20, ILLC, 2004. Also available at http:\/\/www.illc.uva.nl\/Publications\/reportlist.php?Year=2004 ."},{"key":"9055_CR14","unstructured":"Shehtman, V.: Derived sets in euclidean spaces and modal logic, Technical Report Preprint X-90-05, University of Amsterdam, 1990."},{"key":"9055_CR15","volume-title":"Topology via Logic","author":"S. Vickers","year":"1989","unstructured":"Vickers, S.: Topology via Logic, Cambridge University Press, Cambridge, 1989."}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9055-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-007-9055-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-007-9055-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T15:55:57Z","timestamp":1707926157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-007-9055-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,5,30]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,2]]}},"alternative-id":["9055"],"URL":"https:\/\/doi.org\/10.1007\/s10992-007-9055-1","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,5,30]]}}}