{"id":"https://openalex.org/W2071730540","doi":"https://doi.org/10.3166/jancl.12.495-525","title":"Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic","display_name":"Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W2071730540","doi":"https://doi.org/10.3166/jancl.12.495-525","mag":"2071730540"},"language":"en","primary_location":{"id":"doi:10.3166/jancl.12.495-525","is_oa":false,"landing_page_url":"https://doi.org/10.3166/jancl.12.495-525","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069353768","display_name":"Paolo Torrini","orcid":null},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paolo Torrini","raw_affiliation_strings":["School of Computing , University of Leeds , Leeds , LS2 9JT , U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing , University of Leeds , Leeds , LS2 9JT , U.K","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087611194","display_name":"John G. Stell","orcid":"https://orcid.org/0000-0001-9644-1908"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"John G. Stell","raw_affiliation_strings":["School of Computing , University of Leeds , Leeds , LS2 9JT , U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing , University of Leeds , Leeds , LS2 9JT , U.K","institution_ids":["https://openalex.org/I130828816"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000685042","display_name":"Brandon Bennett","orcid":"https://orcid.org/0000-0001-5020-6478"},"institutions":[{"id":"https://openalex.org/I130828816","display_name":"University of Leeds","ror":"https://ror.org/024mrxd33","country_code":"GB","type":"education","lineage":["https://openalex.org/I130828816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Brandon Bennett","raw_affiliation_strings":["School of Computing , University of Leeds , Leeds , LS2 9JT , U.K"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing , University of Leeds , Leeds , LS2 9JT , U.K","institution_ids":["https://openalex.org/I130828816"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130828816"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.14944958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"12","issue":"3-4","first_page":"495","last_page":"525"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9968000054359436,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.7008607983589172},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6212388873100281},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.5818143486976624},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.580045223236084},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.5568062663078308},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5431534051895142},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5038706660270691},{"id":"https://openalex.org/keywords/social-connectedness","display_name":"Social connectedness","score":0.49883222579956055},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.46041208505630493},{"id":"https://openalex.org/keywords/topological-space","display_name":"Topological space","score":0.45814818143844604},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.43702346086502075},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4141901433467865},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3478204607963562},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.22442907094955444},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18277055025100708},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.08424204587936401}],"concepts":[{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.7008607983589172},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6212388873100281},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.5818143486976624},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.580045223236084},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.5568062663078308},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5431534051895142},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5038706660270691},{"id":"https://openalex.org/C201943243","wikidata":"https://www.wikidata.org/wiki/Q7551008","display_name":"Social connectedness","level":2,"score":0.49883222579956055},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.46041208505630493},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.45814818143844604},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.43702346086502075},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4141901433467865},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3478204607963562},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.22442907094955444},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18277055025100708},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.08424204587936401},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3166/jancl.12.495-525","is_oa":false,"landing_page_url":"https://doi.org/10.3166/jancl.12.495-525","pdf_url":null,"source":{"id":"https://openalex.org/S93822064","display_name":"Journal of Applied Non-Classical Logics","issn_l":"1166-3081","issn":["1166-3081","1958-5780"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Applied Non-Classical Logics","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.8.8485","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.8485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.comp.leeds.ac.uk/qsr/pub/TorriniJANCL02.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.5299999713897705}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W852874","https://openalex.org/W28990588","https://openalex.org/W58789055","https://openalex.org/W127701250","https://openalex.org/W191931124","https://openalex.org/W1480405493","https://openalex.org/W1483410603","https://openalex.org/W1483417608","https://openalex.org/W1488538795","https://openalex.org/W1535495821","https://openalex.org/W1557351111","https://openalex.org/W1573460095","https://openalex.org/W1589542963","https://openalex.org/W1847336288","https://openalex.org/W1983705661","https://openalex.org/W1991670662","https://openalex.org/W1994211257","https://openalex.org/W2000391050","https://openalex.org/W2022915841","https://openalex.org/W2032386884","https://openalex.org/W2042622894","https://openalex.org/W2044758536","https://openalex.org/W2050527500","https://openalex.org/W2052954873","https://openalex.org/W2053967911","https://openalex.org/W2064114373","https://openalex.org/W2080293785","https://openalex.org/W2107475097","https://openalex.org/W2107589331","https://openalex.org/W2114803430","https://openalex.org/W2127394739","https://openalex.org/W2131680403","https://openalex.org/W2163197731","https://openalex.org/W2171090910","https://openalex.org/W2215918220","https://openalex.org/W2324223338","https://openalex.org/W4213130966","https://openalex.org/W4233645044","https://openalex.org/W4388299483"],"related_works":["https://openalex.org/W1986625420","https://openalex.org/W2163197731","https://openalex.org/W3145584637","https://openalex.org/W2121836469","https://openalex.org/W3200682096","https://openalex.org/W2297035263","https://openalex.org/W1504271387","https://openalex.org/W2167518895","https://openalex.org/W1983271240","https://openalex.org/W2089840698"],"abstract_inverted_index":{"We":[0,21,54,67],"show":[1,55,77],"how":[2,56,78],"mereotopological":[3],"notions":[4,60],"can":[5,61],"be":[6,62],"expressed":[7,63],"by":[8],"extending":[9],"intuitionistic":[10],"propositional":[11,14],"logic":[12],"with":[13,46],"quantification":[15],"and":[16,39,71,92],"a":[17,93,104],"strong":[18],"modal":[19],"operator.":[20],"first":[22],"prove":[23],"completeness":[24],"for":[25],"the":[26,34,69,83],"logics":[27,84],"wrt":[28],"Kripke":[29,37],"models;":[30],"then":[31],"we":[32],"trace":[33],"correspondence":[35],"between":[36],"models":[38],"topological":[40,65,72],"spaces":[41],"that":[42,102],"have":[43],"been":[44],"enhanced":[45],"an":[47],"explicit":[48],"notion":[49],"of":[50,82,95],"expressible":[51],"region":[52],"(r-spaces).":[53],"some":[57,80],"qualitative":[58,108],"spatial":[59,109],"in":[64,74,79,107],"terms.":[66],"use":[68],"semantical":[70],"results":[73],"order":[75],"to":[76,88],"extensions":[81],"it":[85],"is":[86],"possible":[87],"express":[89],"connectedness,":[90],"non-emptiness":[91],"set":[94],"jointly":[96],"exhaustive,":[97],"pairwise":[98],"disjoint,":[99],"binary":[100],"relations":[101],"play":[103],"significant":[105],"role":[106],"reasoning":[110],"(RCC8":[111],"relations,":[112],"[RAN":[113],"92]).":[114]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}