{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:27:50Z","timestamp":1725467270354},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540613138"},{"type":"electronic","value":"9783540684541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61313-7_62","type":"book-chapter","created":{"date-parts":[[2006,7,12]],"date-time":"2006-07-12T14:19:20Z","timestamp":1152713960000},"page":"43-57","source":"Crossref","is-referenced-by-count":1,"title":["Geometrical structures and modal logic"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Balbiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Fari\u00f1as del Cerro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tinko","family":"Tinchev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimiter","family":"Vakarelov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,8,6]]},"reference":[{"key":"4_CR1","unstructured":"P. Balbiani, V. Dugat, L. Fari\u00f1as del Cerro and A. Lopez. El\u00e9ments de g\u00e9om\u00e9trie m\u00e9canique. Herm\u00e8s, 1994."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"P. Balbiani, L. Fari\u00f1as del Cerro, T. Tinchev and D. Vakarelov. Modal logics for incidence geometries. Journal of Logic and Computation, to appear.","DOI":"10.1093\/logcom\/7.1.59"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"J. van Benthem. The Logic of Time. Reidel, 1983.","DOI":"10.1007\/978-94-010-9868-7"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"D. Gabbay. An irreflexivity lemma with applications to axiomatizations of conditions on tense frames. U. M\u00f6nnich (editor), Aspects of Philosophical Logic. 67\u201389, Reidel, 1981.","DOI":"10.1007\/978-94-009-8384-7_3"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"D. Gabbay, I. Hodkinson and M. Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Volume I, Oxford University Press, 1994.","DOI":"10.1007\/BFb0013976"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"R. Goldblatt. Orthogonality and Spacetime Geometry. Springer-Verlag, 1987.","DOI":"10.1007\/978-1-4684-6345-3"},{"key":"4_CR7","unstructured":"Heyting. Axiomatic Protective Geometries. North-Holland, 1963."},{"key":"4_CR8","unstructured":"D. Hilbert. Foundations of Geometry. Second english edition, Open Court, 1971."},{"key":"4_CR9","unstructured":"G. Hughes and M. Cresswell. A Companion to Modal Logic. Methuen, 1984."},{"issue":"Number2","key":"4_CR10","doi-asserted-by":"crossref","first-page":"566","DOI":"10.2307\/2275293","volume":"57","author":"M. Rijke de","year":"1992","unstructured":"M. de Rijke. The modal logic of inequality. Journal of Symbolic Logic, Volume 57, Number 2, 566\u2013584, 1992.","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR11","unstructured":"L. Szczerba and A. Tarski. Metamathematical properties of some affine geometries. Y. Bar-Hillel (editor), Logic, Methodology and Philosophy of Science. 166\u2013178, North-Holland, 1972."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"D. Vakarelov. A modal theory of arrows. Arrow logics I. D. Pearce and G. Wagner (editors), Logics in AI, European Workshop JELIA '92, Berlin, Germany, September 1992, Proceedings. Lecture Notes in Artificial Intelligence 633, 1\u201324, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0023418"},{"key":"4_CR13","unstructured":"D. Vakarelov. Many-dimensional arrow structures. Arrow logics II. Journal of Applied Non-Classical Logics, to appear."}],"container-title":["Lecture Notes in Computer Science","Practical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61313-7_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T00:18:56Z","timestamp":1555719536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61313-7_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540613138","9783540684541"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61313-7_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}