Subject-oriented spatial logic
We present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL. The space is represented with the polar coordinate system where the subject occupies the central point and modal operators are interpreted by relations defined relatively to...
Saved in:
| Published in | Information and computation Vol. 280; p. 104643 |
|---|---|
| Main Authors | , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Inc
01.10.2021
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 0890-5401 1090-2651 |
| DOI | 10.1016/j.ic.2020.104643 |
Cover
| Abstract | We present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL. The space is represented with the polar coordinate system where the subject occupies the central point and modal operators are interpreted by relations defined relatively to the position and orientation of the subject, namely ‘outwards’, ‘inwards’, ‘clockwise’, ‘counter-clockwise’, and the transitive closures of the first two. Such logic enables to express operators for the intrinsic relations: ‘in front’, ‘behind’, ‘to the left’, and ‘to the right’ of the subject, for the relative relations: ‘behind an object’, ‘between the subject and an object’, ‘to the left of an object’, and ‘to the right of an object’, and hybrid or distance operators. We prove that the satisfiability problem in SOSL is PSpace-complete, the same complexity holds over the classes of finite or infinite models, however, for models of fixed size the problem becomes NP-complete. |
|---|---|
| AbstractList | We present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL. The space is represented with the polar coordinate system where the subject occupies the central point and modal operators are interpreted by relations defined relatively to the position and orientation of the subject, namely ‘outwards’, ‘inwards’, ‘clockwise’, ‘counter-clockwise’, and the transitive closures of the first two. Such logic enables to express operators for the intrinsic relations: ‘in front’, ‘behind’, ‘to the left’, and ‘to the right’ of the subject, for the relative relations: ‘behind an object’, ‘between the subject and an object’, ‘to the left of an object’, and ‘to the right of an object’, and hybrid or distance operators. We prove that the satisfiability problem in SOSL is PSpace-complete, the same complexity holds over the classes of finite or infinite models, however, for models of fixed size the problem becomes NP-complete. |
| ArticleNumber | 104643 |
| Author | Wałęga, Przemysław Andrzej Zawidzki, Michał |
| Author_xml | – sequence: 1 givenname: Przemysław Andrzej surname: Wałęga fullname: Wałęga, Przemysław Andrzej email: przemyslaw.walega@cs.ox.ac.uk organization: University of Oxford, Department of Computer Science, United Kingdom – sequence: 2 givenname: Michał surname: Zawidzki fullname: Zawidzki, Michał organization: University of Oxford, Department of Computer Science, United Kingdom |
| BookMark | eNp1j0tLxDAUhYOMYGd070rmD3S8eRt3MviCARfqOjQ3iaTUdkiq4L-3pW5d3XMX3-F8a7Lqhz4QcklhR4Gq63aXcMeAza9Qgp-QioKBmilJV6SCmylLAfSMrEtpASiVQlXk6vXLtQHHesgp9GPw23JsxtR02274SHhOTmPTlXDxdzfk_eH-bf9UH14en_d3hxqZ0GNtpOcRVeTKKSc4OuDCIRpE75qoVNAYNUqhffAgjWKIEDSTlBoTmfZ8Q2DpxTyUkkO0x5w-m_xjKdjZz7Y2oZ397OI3IbcLEqZd3ylkW3BSwOBTnoSsH9L_8C-rxFiN |
| Cites_doi | 10.1093/logcom/9.6.897 10.1093/jigpal/8.5.653 10.1007/s10472-012-9327-5 10.1016/j.robot.2009.10.002 10.1016/0304-3975(81)90019-0 10.1093/jigpal/4.1.23 10.1016/j.fss.2013.07.014 10.1016/j.tics.2004.01.003 10.1023/A:1004361501703 10.1146/annurev.anthro.25.1.353 10.1093/logcom/11.6.909 10.3166/jancl.12.319-363 10.1305/ndjfl/1093870761 10.1305/ndjfl/1093635589 10.1016/j.ins.2005.01.021 10.1007/s10472-007-9083-0 |
| ContentType | Journal Article |
| Copyright | 2020 |
| Copyright_xml | – notice: 2020 |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.ic.2020.104643 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1090-2651 |
| ExternalDocumentID | 10_1016_j_ic_2020_104643 S0890540120301310 |
| GroupedDBID | --K --M --Z -~X .~1 0R~ 1B1 1~. 1~5 29I 4.4 457 4G. 5GY 5VS 6I. 6TJ 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN ABAOU ABBOA ABFNM ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADFGL ADMUD AEBSH AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ARUGR ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CAG COF CS3 DM4 DU5 E3Z EBS EFBJH EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HVGLF HZ~ H~9 IHE IXB J1W KOM LG5 LX9 M41 MHUIS MO0 MVM N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG RNS ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSW SSZ T5K TN5 WH7 WUQ XJT XPP ZMT ZU3 ZY4 ~G- AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c247t-95d3fc6f36b6b43cb034bcc9ccdbaf66e7cf7c547ded05962cc0e7251199f27d3 |
| IEDL.DBID | .~1 |
| ISSN | 0890-5401 |
| IngestDate | Thu Oct 16 04:41:14 EDT 2025 Fri Feb 23 02:43:53 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Modal logics Spatial logics Knowledge representation |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c247t-95d3fc6f36b6b43cb034bcc9ccdbaf66e7cf7c547ded05962cc0e7251199f27d3 |
| ParticipantIDs | crossref_primary_10_1016_j_ic_2020_104643 elsevier_sciencedirect_doi_10_1016_j_ic_2020_104643 |
| PublicationCentury | 2000 |
| PublicationDate | October 2021 2021-10-00 |
| PublicationDateYYYYMMDD | 2021-10-01 |
| PublicationDate_xml | – month: 10 year: 2021 text: October 2021 |
| PublicationDecade | 2020 |
| PublicationTitle | Information and computation |
| PublicationYear | 2021 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Baier, Katoen (br0280) 2008 Duckham, Lingham, Mason, Worboys (br0030) 2006; 176 Muñoz-Velasco, Burrieza, Ojeda-Aciego (br0100) 2014; 242 Eppe, Bhatt (br0020) 2013 Navarrete, Morales, Sciavicco, Cardenas-Viedma (br0110) 2013; 67 Levinson (br0210) 1996 Randell, Cui, Cohn (br0130) 1992 Freksa (br0370) 1992 Areces, Blackburn, Marx (br0240) 2000; 8 Fionda, Greco (br0270) 2016 Freksa, Zimmermann (br0150) 1992 Morales, Navarrete, Sciavicco (br0060) 2007; 51 Wałęga, Zawidzki (br0010) 2019 Nutt (br0320) 1999 Bhatt, Schultz, Huang (br0340) 2012 Montanari, Puppis, Sala (br0090) 2009 Reynolds, Zakharyaschev (br0290) 2001; 11 Pederson (br0230) 2002 Kozen, Parikh (br0310) 1981; 14 Ching (br0350) 2014 Wolter, Lutz (br0070) 2006; 2 Clark (br0180) 1985; 26 Cook (br0260) 1971 Venema (br0040) 1990; 31 Levinson (br0220) 1996; 25 Ligozat (br0120) 1991 Navarrete, Morales, Sciavicco (br0140) 2007 Bennett (br0080) 1996; 4 Pnueli (br0250) 1977 Aiello, Van Benthem (br0330) 2002; 12 Gabbay, Kurucz, Wolter, Zakharyaschev (br0300) 2003 Pratt, Schoop (br0190) 1998; 27 Majid, Bowerman, Kita, Haun, Levinson (br0200) 2004; 8 Van de Weghe (br0170) 2004 Marx, Reynolds (br0050) 1999; 9 Traver, Bernardino (br0360) 2010; 58 Wałęga (10.1016/j.ic.2020.104643_br0010) 2019 Ligozat (10.1016/j.ic.2020.104643_br0120) 1991 Montanari (10.1016/j.ic.2020.104643_br0090) 2009 Clark (10.1016/j.ic.2020.104643_br0180) 1985; 26 Gabbay (10.1016/j.ic.2020.104643_br0300) 2003 Duckham (10.1016/j.ic.2020.104643_br0030) 2006; 176 Traver (10.1016/j.ic.2020.104643_br0360) 2010; 58 Morales (10.1016/j.ic.2020.104643_br0060) 2007; 51 Reynolds (10.1016/j.ic.2020.104643_br0290) 2001; 11 Baier (10.1016/j.ic.2020.104643_br0280) 2008 Areces (10.1016/j.ic.2020.104643_br0240) 2000; 8 Bhatt (10.1016/j.ic.2020.104643_br0340) 2012 Cook (10.1016/j.ic.2020.104643_br0260) 1971 Venema (10.1016/j.ic.2020.104643_br0040) 1990; 31 Marx (10.1016/j.ic.2020.104643_br0050) 1999; 9 Navarrete (10.1016/j.ic.2020.104643_br0110) 2013; 67 Freksa (10.1016/j.ic.2020.104643_br0370) 1992 Pratt (10.1016/j.ic.2020.104643_br0190) 1998; 27 Nutt (10.1016/j.ic.2020.104643_br0320) 1999 Wolter (10.1016/j.ic.2020.104643_br0070) 2006; 2 Levinson (10.1016/j.ic.2020.104643_br0210) 1996 Pederson (10.1016/j.ic.2020.104643_br0230) 2002 Pnueli (10.1016/j.ic.2020.104643_br0250) 1977 Ching (10.1016/j.ic.2020.104643_br0350) 2014 Levinson (10.1016/j.ic.2020.104643_br0220) 1996; 25 Muñoz-Velasco (10.1016/j.ic.2020.104643_br0100) 2014; 242 Van de Weghe (10.1016/j.ic.2020.104643_br0170) 2004 Freksa (10.1016/j.ic.2020.104643_br0150) 1992 Kozen (10.1016/j.ic.2020.104643_br0310) 1981; 14 Aiello (10.1016/j.ic.2020.104643_br0330) 2002; 12 Navarrete (10.1016/j.ic.2020.104643_br0140) 2007 Randell (10.1016/j.ic.2020.104643_br0130) 1992 Majid (10.1016/j.ic.2020.104643_br0200) 2004; 8 Fionda (10.1016/j.ic.2020.104643_br0270) 2016 Bennett (10.1016/j.ic.2020.104643_br0080) 1996; 4 Eppe (10.1016/j.ic.2020.104643_br0020) |
| References_xml | – volume: 8 start-page: 653 year: 2000 end-page: 679 ident: br0240 article-title: The computational complexity of hybrid temporal logics publication-title: Log. J. IGPL – volume: 12 start-page: 319 year: 2002 end-page: 363 ident: br0330 article-title: A modalwalk through space publication-title: J. Appl. Non-Class. Log. – volume: 2 year: 2006 ident: br0070 article-title: Modal logics of topological relations publication-title: Log. Methods Comput. Sci. – volume: 25 start-page: 353 year: 1996 end-page: 382 ident: br0220 article-title: Language and space publication-title: Annu. Rev. Anthropol. – start-page: 109 year: 1996 end-page: 169 ident: br0210 article-title: Frames of reference and Molyneux's question: cross-linguistic evidence publication-title: Language and Space – volume: 27 start-page: 621 year: 1998 end-page: 658 ident: br0190 article-title: A complete axiom system for polygonal mereotopology of the real plane publication-title: J. Philos. Log. – volume: 242 start-page: 114 year: 2014 end-page: 131 ident: br0100 article-title: A logic framework for reasoning with movement based on fuzzy qualitative representation publication-title: Fuzzy Sets Syst. – start-page: 165 year: 1992 end-page: 176 ident: br0130 article-title: A spatial logic based on regions and connection publication-title: KR – year: 2003 ident: br0300 article-title: Many-Dimensional Modal Logics: Theory and Applications – start-page: 4:1 year: 2019 end-page: 4:22 ident: br0010 article-title: A modal logic for subject-oriented spatial reasoning publication-title: TIME – volume: 67 start-page: 31 year: 2013 end-page: 70 ident: br0110 article-title: Spatial reasoning with rectangular cardinal relations publication-title: Ann. Math. Artif. Intell. – start-page: 46 year: 1977 end-page: 57 ident: br0250 article-title: The temporal logic of programs publication-title: SFCS – volume: 58 start-page: 378 year: 2010 end-page: 398 ident: br0360 article-title: A review of log-polar imaging for visual perception in robotics publication-title: Robot. Auton. Syst. – start-page: 33 year: 2012 end-page: 40 ident: br0340 article-title: The shape of empty space: human-centred cognitive foundations in computing for spatial design publication-title: VL/HCC – start-page: 234 year: 1991 end-page: 240 ident: br0120 article-title: On generalized interval calculi publication-title: AAAI – start-page: 495 year: 2007 end-page: 500 ident: br0140 article-title: Consistency checking of basic cardinal constraints over connected regions publication-title: IJCAI – start-page: 261 year: 1992 end-page: 266 ident: br0150 article-title: On the utilization of spatial structures for cognitively plausible and efficient reasoning publication-title: IEEESMC – volume: 4 start-page: 23 year: 1996 end-page: 45 ident: br0080 article-title: Modal logics for qualitative spatial reasoning publication-title: Log. J. IGPL – start-page: 394 year: 2009 end-page: 408 ident: br0090 article-title: A decidable spatial logic with cone-shaped cardinal directions publication-title: CSL – volume: 176 start-page: 601 year: 2006 end-page: 627 ident: br0030 article-title: Qualitative reasoning about consistency in geographic information publication-title: Inf. Sci. – volume: 26 start-page: 61 year: 1985 end-page: 75 ident: br0180 article-title: Individuals and points publication-title: Notre Dame J. Form. Log. – start-page: 113 year: 1999 end-page: 124 ident: br0320 article-title: On the translation of qualitative spatial reasoning problems into modal logics publication-title: AAAI – volume: 31 start-page: 529 year: 1990 end-page: 547 ident: br0040 article-title: Expressiveness and completeness of an interval tense logic publication-title: Notre Dame J. Form. Log. – start-page: 162 year: 1992 end-page: 178 ident: br0370 article-title: Using orientation information for qualitative spatial reasoning publication-title: ICGIS – start-page: 287 year: 2002 end-page: 304 ident: br0230 article-title: How many reference frames? publication-title: ICSC – volume: 51 start-page: 1 year: 2007 end-page: 25 ident: br0060 article-title: A new modal logic for reasoning about space: spatial propositional neighborhood logic publication-title: Ann. Math. Artif. Intell. – start-page: 971 year: 2016 end-page: 977 ident: br0270 article-title: The complexity of LTL on finite traces: hard and easy fragments publication-title: AAAI – year: 2014 ident: br0350 article-title: Architecture: Form, Space, and Order – volume: 11 start-page: 909 year: 2001 end-page: 931 ident: br0290 article-title: On the products of linear modal logics publication-title: J. Log. Comput. – year: 2008 ident: br0280 article-title: Principles of Model Checking – volume: 14 start-page: 113 year: 1981 end-page: 118 ident: br0310 article-title: An elementary proof of the completeness of PDL publication-title: Theor. Comput. Sci. – year: 2013 ident: br0020 article-title: Narrative based postdictive reasoning for cognitive robotics – volume: 9 start-page: 897 year: 1999 end-page: 914 ident: br0050 article-title: Undecidability of compass logic publication-title: J. Log. Comput. – volume: 8 start-page: 108 year: 2004 end-page: 114 ident: br0200 article-title: Can language restructure cognition? The case for space publication-title: Trends Cogn. Sci. – year: 2004 ident: br0170 article-title: Representing and reasoning about moving objects: a qualitative approach – start-page: 151 year: 1971 end-page: 158 ident: br0260 article-title: The complexity of theorem-proving procedures publication-title: STOC – start-page: 46 year: 1977 ident: 10.1016/j.ic.2020.104643_br0250 article-title: The temporal logic of programs – start-page: 495 year: 2007 ident: 10.1016/j.ic.2020.104643_br0140 article-title: Consistency checking of basic cardinal constraints over connected regions – volume: 9 start-page: 897 year: 1999 ident: 10.1016/j.ic.2020.104643_br0050 article-title: Undecidability of compass logic publication-title: J. Log. Comput. doi: 10.1093/logcom/9.6.897 – volume: 8 start-page: 653 year: 2000 ident: 10.1016/j.ic.2020.104643_br0240 article-title: The computational complexity of hybrid temporal logics publication-title: Log. J. IGPL doi: 10.1093/jigpal/8.5.653 – start-page: 162 year: 1992 ident: 10.1016/j.ic.2020.104643_br0370 article-title: Using orientation information for qualitative spatial reasoning – start-page: 287 year: 2002 ident: 10.1016/j.ic.2020.104643_br0230 article-title: How many reference frames? – volume: 2 year: 2006 ident: 10.1016/j.ic.2020.104643_br0070 article-title: Modal logics of topological relations publication-title: Log. Methods Comput. Sci. – start-page: 151 year: 1971 ident: 10.1016/j.ic.2020.104643_br0260 article-title: The complexity of theorem-proving procedures – start-page: 113 year: 1999 ident: 10.1016/j.ic.2020.104643_br0320 article-title: On the translation of qualitative spatial reasoning problems into modal logics – year: 2008 ident: 10.1016/j.ic.2020.104643_br0280 – volume: 67 start-page: 31 year: 2013 ident: 10.1016/j.ic.2020.104643_br0110 article-title: Spatial reasoning with rectangular cardinal relations publication-title: Ann. Math. Artif. Intell. doi: 10.1007/s10472-012-9327-5 – volume: 58 start-page: 378 year: 2010 ident: 10.1016/j.ic.2020.104643_br0360 article-title: A review of log-polar imaging for visual perception in robotics publication-title: Robot. Auton. Syst. doi: 10.1016/j.robot.2009.10.002 – volume: 14 start-page: 113 year: 1981 ident: 10.1016/j.ic.2020.104643_br0310 article-title: An elementary proof of the completeness of PDL publication-title: Theor. Comput. Sci. doi: 10.1016/0304-3975(81)90019-0 – volume: 4 start-page: 23 year: 1996 ident: 10.1016/j.ic.2020.104643_br0080 article-title: Modal logics for qualitative spatial reasoning publication-title: Log. J. IGPL doi: 10.1093/jigpal/4.1.23 – volume: 242 start-page: 114 year: 2014 ident: 10.1016/j.ic.2020.104643_br0100 article-title: A logic framework for reasoning with movement based on fuzzy qualitative representation publication-title: Fuzzy Sets Syst. doi: 10.1016/j.fss.2013.07.014 – year: 2014 ident: 10.1016/j.ic.2020.104643_br0350 – volume: 8 start-page: 108 year: 2004 ident: 10.1016/j.ic.2020.104643_br0200 article-title: Can language restructure cognition? The case for space publication-title: Trends Cogn. Sci. doi: 10.1016/j.tics.2004.01.003 – year: 2003 ident: 10.1016/j.ic.2020.104643_br0300 – ident: 10.1016/j.ic.2020.104643_br0020 – volume: 27 start-page: 621 year: 1998 ident: 10.1016/j.ic.2020.104643_br0190 article-title: A complete axiom system for polygonal mereotopology of the real plane publication-title: J. Philos. Log. doi: 10.1023/A:1004361501703 – volume: 25 start-page: 353 year: 1996 ident: 10.1016/j.ic.2020.104643_br0220 article-title: Language and space publication-title: Annu. Rev. Anthropol. doi: 10.1146/annurev.anthro.25.1.353 – volume: 11 start-page: 909 year: 2001 ident: 10.1016/j.ic.2020.104643_br0290 article-title: On the products of linear modal logics publication-title: J. Log. Comput. doi: 10.1093/logcom/11.6.909 – volume: 12 start-page: 319 year: 2002 ident: 10.1016/j.ic.2020.104643_br0330 article-title: A modalwalk through space publication-title: J. Appl. Non-Class. Log. doi: 10.3166/jancl.12.319-363 – volume: 26 start-page: 61 year: 1985 ident: 10.1016/j.ic.2020.104643_br0180 article-title: Individuals and points publication-title: Notre Dame J. Form. Log. doi: 10.1305/ndjfl/1093870761 – start-page: 261 year: 1992 ident: 10.1016/j.ic.2020.104643_br0150 article-title: On the utilization of spatial structures for cognitively plausible and efficient reasoning – volume: 31 start-page: 529 year: 1990 ident: 10.1016/j.ic.2020.104643_br0040 article-title: Expressiveness and completeness of an interval tense logic publication-title: Notre Dame J. Form. Log. doi: 10.1305/ndjfl/1093635589 – start-page: 165 year: 1992 ident: 10.1016/j.ic.2020.104643_br0130 article-title: A spatial logic based on regions and connection – start-page: 394 year: 2009 ident: 10.1016/j.ic.2020.104643_br0090 article-title: A decidable spatial logic with cone-shaped cardinal directions – year: 2004 ident: 10.1016/j.ic.2020.104643_br0170 – volume: 176 start-page: 601 year: 2006 ident: 10.1016/j.ic.2020.104643_br0030 article-title: Qualitative reasoning about consistency in geographic information publication-title: Inf. Sci. doi: 10.1016/j.ins.2005.01.021 – volume: 51 start-page: 1 year: 2007 ident: 10.1016/j.ic.2020.104643_br0060 article-title: A new modal logic for reasoning about space: spatial propositional neighborhood logic publication-title: Ann. Math. Artif. Intell. doi: 10.1007/s10472-007-9083-0 – start-page: 4:1 year: 2019 ident: 10.1016/j.ic.2020.104643_br0010 article-title: A modal logic for subject-oriented spatial reasoning – start-page: 234 year: 1991 ident: 10.1016/j.ic.2020.104643_br0120 article-title: On generalized interval calculi – start-page: 33 year: 2012 ident: 10.1016/j.ic.2020.104643_br0340 article-title: The shape of empty space: human-centred cognitive foundations in computing for spatial design – start-page: 971 year: 2016 ident: 10.1016/j.ic.2020.104643_br0270 article-title: The complexity of LTL on finite traces: hard and easy fragments – start-page: 109 year: 1996 ident: 10.1016/j.ic.2020.104643_br0210 article-title: Frames of reference and Molyneux's question: cross-linguistic evidence |
| SSID | ssj0011546 |
| Score | 2.2904065 |
| Snippet | We present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL. The space is represented with the... |
| SourceID | crossref elsevier |
| SourceType | Index Database Publisher |
| StartPage | 104643 |
| SubjectTerms | Knowledge representation Modal logics Spatial logics |
| Title | Subject-oriented spatial logic |
| URI | https://dx.doi.org/10.1016/j.ic.2020.104643 |
| Volume | 280 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Baden-Württemberg Complete Freedom Collection (Elsevier) customDbUrl: eissn: 1090-2651 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0011546 issn: 0890-5401 databaseCode: GBLVA dateStart: 20110101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier ScienceDirect Open Access Journals customDbUrl: eissn: 1090-2651 dateEnd: 20211105 omitProxy: true ssIdentifier: ssj0011546 issn: 0890-5401 databaseCode: IXB dateStart: 19870101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Complete Freedom Collection [SCCMFC] customDbUrl: eissn: 1090-2651 dateEnd: 20211031 omitProxy: true ssIdentifier: ssj0011546 issn: 0890-5401 databaseCode: ACRLP dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Science Direct customDbUrl: eissn: 1090-2651 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0011546 issn: 0890-5401 databaseCode: .~1 dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: ScienceDirect Freedom Collection Journals customDbUrl: eissn: 1090-2651 dateEnd: 20211031 omitProxy: true ssIdentifier: ssj0011546 issn: 0890-5401 databaseCode: AIKHN dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVLSH databaseName: Elsevier Journals customDbUrl: mediaType: online eissn: 1090-2651 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0011546 issn: 0890-5401 databaseCode: AKRWK dateStart: 19870101 isFulltext: true providerName: Library Specific Holdings |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5VZYGBRwFRHlUGFobQ1HaceiwVqOVRIaBStyg-21IY2grKym_HlwcqEixMkazYSs66z599n-8AznUiYsMUhn3h0G9QEgwzz2pDiX0XGcEja-m842EiR1NxO4tnDRjWd2FIVllhf4npBVpXLd3Kmt1lnnefo74ivtFjxOp5cc1KiISqGFx-fss8KNtMEa_0L5MIoFeFKkuNV05JDFkZ6BT896Vpbbm52YXtiicGg_JT9qBh5y3YqWswBJVLtmBrLaHgPnQ8DtDBSrig9MWeTAbvpJj2AxUQdwDTm-uX4SisKiCEyESyClVsuEPpuNRSC4464kIjKkSjMyelpaRCGIvEWFPU0UGMbEK7BqUcSww_hOZ8MbdHEDAtHYu890VZ5v0WtbKoMz8hSptMW96Gi_rn02WZ6CKtFWCvaY4pGSotDdUGXlsn_TFZqcfhP3sd_6vXCWwykpEU-rlTaK7ePuyZ5wEr3SkmugMbg-HT_SM9x3ejiW8dz66-AEQGsv4 |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5VMAADjwKiPEoGFobQ1HacekQVVYG2C63UzYrPjhSGtoKy8tvx5YGKBAtrFFvJne7zd77PZ4Abk4jYMoVhT2ToE5QEw9Sz2lBiL4us4JFztN8xnsjhTDzN43kD-vVZGJJVVthfYnqB1tWTTmXNzirPOy9RTxHf6DJi9ZyOWW2LmCWUgd19fus8qN1MUbD0b5MKoFvVKkuRV05dDFlZ6RT897VpY70ZHMJ-RRSD-_JbjqDhFk04qC9hCKqYbMLeRkfBY2h7IKCdlXBJ_Ys9mwzeSTLtJyow7gRmg4dpfxhWVyCEyESyDlVseYYy49JIIziaiAuDqBCtSTMpHXUVwlgk1tniIh3EyCWUNiiVscTyU9haLBfuDAJmZMYiH35RmvrARaMcmtR7RBmbGsdbcFv_vF6VnS50LQF71TlqMpQuDdUCXltH__CW9kD856jzf426hp3hdDzSo8fJ8wXsMtKUFGK6S9hav324K08K1qZdOP0L-QSx-g |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Subject-oriented+spatial+logic&rft.jtitle=Information+and+computation&rft.au=Wa%C5%82%C4%99ga%2C+Przemys%C5%82aw+Andrzej&rft.au=Zawidzki%2C+Micha%C5%82&rft.date=2021-10-01&rft.issn=0890-5401&rft.volume=280&rft.spage=104643&rft_id=info:doi/10.1016%2Fj.ic.2020.104643&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_ic_2020_104643 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0890-5401&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0890-5401&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0890-5401&client=summon |