{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T04:22:17Z","timestamp":1649046137228},"reference-count":36,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.3166\/jancl.12.495-525","type":"journal-article","created":{"date-parts":[[2007,6,11]],"date-time":"2007-06-11T22:19:04Z","timestamp":1181600344000},"page":"495-525","source":"Crossref","is-referenced-by-count":1,"title":["Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic"],"prefix":"10.1080","volume":"12","author":[{"given":"Paolo","family":"Torrini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John G.","family":"Stell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brandon","family":"Bennett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/7.1.59"},{"key":"CIT0002","first-page":"117","volume-title":"Handbook of Logic in Computer Science","volume":"2","author":"BARENDREGT H.","year":"1992"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/4.1.23"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009729828056"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093883455"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009712514511"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0061824"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/BF02015377"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2977-2"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044488355-1\/50020-7"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.2307\/2270260"},{"key":"CIT0012","first-page":"3","volume-title":"Shape in picture","author":"KOPPERMAN R.","year":"1992"},{"key":"CIT0013","first-page":"21","volume-title":"Shape in picture","author":"KOVALEVSKY V.","year":"1992"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.2307\/2275545"},{"key":"CIT0015","first-page":"212","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-96)","author":"LEMON O."},{"key":"CIT0016","volume-title":"Advances in Modal Logic '96","author":"LEMON O.","year":"1996"},{"key":"CIT0017","first-page":"1927","volume":"30","author":"LE\u015aNIEWSKI S.","journal-title":"Przeglad Filozoficzny"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.2307\/2272390"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.12775\/LLP.1998.002"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.2307\/2275175"},{"key":"CIT0022","volume-title":"Natural Deduction: A Proof-Theoretical Study","author":"PRAWITZ D.","year":"1965"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039724888"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004361501703"},{"key":"CIT0025","first-page":"165","volume-title":"Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning","author":"RANDELL D. A."},{"key":"CIT0026","volume-title":"The Mathematics of Metamathematics","author":"RASIOWA H.","year":"1963"},{"issue":"2","key":"CIT0027","first-page":"369-279","volume":"9","author":"SHEHTMAN V.","year":"1999","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"CIT0028","volume-title":"Parts: A Study In Ontology","author":"SIMONS P.","year":"1987"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(96)00034-6"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90006-9"},{"key":"CIT0031","first-page":"163","volume-title":"Proceedings of COSIT'97","author":"STELL J. G."},{"key":"CIT0032","first-page":"19","volume-title":"Proc. 6th Int. Symp. on Advances in Spatial Databases (SSD'99)","author":"STELL J. G."},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00045-X"},{"key":"CIT0034","volume-title":"Logic, Semantics, Metamathematics","author":"TARSKI A.","year":"1956"},{"key":"CIT0035","volume-title":"Topology via logic","author":"VICKERS S.","year":"1989"},{"key":"CIT0036","volume-title":"Logic, Methodology and Philosophy of Science","author":"WOLTER F.","year":"1995"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,6]],"date-time":"2017-01-06T13:27:55Z","timestamp":1483709275000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.12.495-525"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":36,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2002,1]]}},"alternative-id":["10.3166\/jancl.12.495-525"],"URL":"https:\/\/doi.org\/10.3166\/jancl.12.495-525","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}