{"id":"https://openalex.org/W2011564139","doi":"https://doi.org/10.1080/11663081.1996.10510890","title":"Many-dimensional arrow logics","display_name":"Many-dimensional arrow logics","publication_year":1996,"publication_date":"1996-01-01","ids":{"openalex":"https://openalex.org/W2011564139","doi":"https://doi.org/10.1080/11663081.1996.10510890","mag":"2011564139"},"language":"en","primary_location":{"id":"doi:10.1080/11663081.1996.10510890","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.1996.10510890","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/A5076246494","display_name":"Dimiter Vakarelov","orcid":null},"institutions":[{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG"],"is_corresponding":true,"raw_author_name":"Dimiter Vakarelov","raw_affiliation_strings":["Dpt. of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","Dpt. of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science , Sofia University , Boul. James Bouchier 5, 1126 , Sofia , Bulgaria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dpt. of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science, Sofia University, Boul. James Bouchier 5, 1126, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]},{"raw_affiliation_string":"Dpt. of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science , Sofia University , Boul. James Bouchier 5, 1126 , Sofia , Bulgaria","institution_ids":["https://openalex.org/I58918642"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076246494"],"corresponding_institution_ids":["https://openalex.org/I58918642"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.11573786,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"4","first_page":"303","last_page":"345"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9926000237464905,"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/arrow","display_name":"Arrow","score":0.9824205040931702},{"id":"https://openalex.org/keywords/arrow-of-time","display_name":"Arrow of time","score":0.6236054301261902},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.5008697509765625},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.48335856199264526},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.4354839324951172},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3753001391887665},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35021716356277466},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3461349606513977},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.33881765604019165},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.17170840501785278},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1340273916721344},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06740143895149231},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.048230499029159546}],"concepts":[{"id":"https://openalex.org/C2780339515","wikidata":"https://www.wikidata.org/wiki/Q3074698","display_name":"Arrow","level":2,"score":0.9824205040931702},{"id":"https://openalex.org/C14828074","wikidata":"https://www.wikidata.org/wiki/Q186559","display_name":"Arrow of time","level":3,"score":0.6236054301261902},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.5008697509765625},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.48335856199264526},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.4354839324951172},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3753001391887665},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35021716356277466},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3461349606513977},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.33881765604019165},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.17170840501785278},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1340273916721344},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06740143895149231},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.048230499029159546},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/11663081.1996.10510890","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.1996.10510890","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W5354317","https://openalex.org/W1481249376","https://openalex.org/W1527588453","https://openalex.org/W1527720545","https://openalex.org/W1528467909","https://openalex.org/W1531702563","https://openalex.org/W1600348701","https://openalex.org/W1979029381","https://openalex.org/W1982736629","https://openalex.org/W1989098065","https://openalex.org/W1992205482","https://openalex.org/W2019254124","https://openalex.org/W2047150233","https://openalex.org/W2076862903","https://openalex.org/W2168140838","https://openalex.org/W2338945114","https://openalex.org/W4230810274"],"related_works":["https://openalex.org/W3164699771","https://openalex.org/W2015349253","https://openalex.org/W2951708712","https://openalex.org/W2531641439","https://openalex.org/W2388716469","https://openalex.org/W3123079519","https://openalex.org/W4231099172","https://openalex.org/W1559562980","https://openalex.org/W2017454126","https://openalex.org/W2346392663"],"abstract_inverted_index":{"The":[0],"notion":[1,16],"of":[2,17,23,50,60],"n-dimensional":[3],"arrow":[4,33,52],"structure":[5],"is":[6,41,45],"introduced,":[7],"which":[8],"for":[9],"n":[10],"=":[11],"2":[12],"coincides":[13],"with":[14,32],"the":[15,24,48,55],"directed":[18],"multi-graph.":[19],"In":[20],"part":[21],"I":[22],"paper":[25],"several":[26],"first-order":[27],"and":[28,37],"modal":[29],"languages":[30],"connected":[31],"structures":[34],"are":[35,63],"studied":[36],"their":[38],"expressive":[39],"power":[40],"compared.":[42],"Part":[43],"II":[44],"devoted":[46],"to":[47],"axiomatization":[49],"some":[51,57],"logics.":[53],"At":[54],"end":[56],"further":[58],"perspectives":[59],"\u201carrow":[61],"approach\u201d":[62],"discussed.":[64]},"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}