{"id":"https://openalex.org/W1570493805","doi":"https://doi.org/10.3166/jancl.17.383-396","title":"Logics with the universal modality and admissible consecutions","display_name":"Logics with the universal modality and admissible consecutions","publication_year":2007,"publication_date":"2007-09-23","ids":{"openalex":"https://openalex.org/W1570493805","doi":"https://doi.org/10.3166/jancl.17.383-396","mag":"1570493805"},"language":"en","primary_location":{"id":"doi:10.3166/jancl.17.383-396","is_oa":false,"landing_page_url":"https://doi.org/10.3166/jancl.17.383-396","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/A5016943210","display_name":"Vladimir V. Rybakov","orcid":"https://orcid.org/0000-0002-6654-9712"},"institutions":[{"id":"https://openalex.org/I11983389","display_name":"Manchester Metropolitan University","ror":"https://ror.org/02hstj355","country_code":"GB","type":"education","lineage":["https://openalex.org/I11983389"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Rybakov Vladimir","raw_affiliation_strings":["Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, U.K.#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester M1 5GD, U.K.#TAB#","institution_ids":["https://openalex.org/I11983389"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5016943210"],"corresponding_institution_ids":["https://openalex.org/I11983389"],"apc_list":null,"apc_paid":null,"fwci":1.408,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.84345459,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"17","issue":"3","first_page":"383","last_page":"396"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962999820709229,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9940000176429749,"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/modality","display_name":"Modality (human\u2013computer interaction)","score":0.8018522262573242},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44226574897766113},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3573760986328125},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35663899779319763},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.2978268265724182},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23990398645401}],"concepts":[{"id":"https://openalex.org/C2780226545","wikidata":"https://www.wikidata.org/wiki/Q6888030","display_name":"Modality (human\u2013computer interaction)","level":2,"score":0.8018522262573242},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44226574897766113},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3573760986328125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35663899779319763},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.2978268265724182},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23990398645401},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3166/jancl.17.383-396","is_oa":false,"landing_page_url":"https://doi.org/10.3166/jancl.17.383-396","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":[{"id":"https://metadata.un.org/sdg/16","score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1485990531","https://openalex.org/W1524655177","https://openalex.org/W1539708367","https://openalex.org/W1566488688","https://openalex.org/W1973545627","https://openalex.org/W1975190772","https://openalex.org/W1984615484","https://openalex.org/W2002176884","https://openalex.org/W2019740327","https://openalex.org/W2023712626","https://openalex.org/W2046526482","https://openalex.org/W2049821930","https://openalex.org/W2075320155","https://openalex.org/W2081160992","https://openalex.org/W2108756969","https://openalex.org/W2118324648","https://openalex.org/W2138544762","https://openalex.org/W2164389533","https://openalex.org/W2166908479","https://openalex.org/W2168410054","https://openalex.org/W2970205057"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"study":[4],"admissible":[5,73],"consecutions":[6,29,74],"(inference":[7],"rules)":[8],"in":[9,75],"multi-modal":[10,20],"logics":[11,93],"with":[12,24,94],"the":[13,25,31,53,61,65,95],"universal":[14,26,96],"modality.":[15,27],"We":[16,47],"consider":[17],"extensions":[18],"of":[19,34,43,64,72],"logic":[21,39],"S4n":[22],"augmented":[23],"Admissible":[28],"form":[30],"largest":[32],"class":[33],"rules,":[35],"under":[36],"which":[37],"a":[38,41],"(as":[40],"set":[42],"theorems)":[44],"is":[45],"closed.":[46],"propose":[48],"an":[49,82],"approach":[50],"based":[51],"on":[52],"context":[54],"effective":[55],"finite":[56],"model":[57],"property.":[58],"Theorem":[59],"7,":[60],"main":[62],"result":[63],"paper,":[66],"gives":[67],"sufficient":[68],"conditions":[69],"for":[70,85],"decidability":[71],"our":[76],"logics.":[77],"This":[78],"theorem":[79],"also":[80],"provides":[81],"explicit":[83],"algorithm":[84],"recognizing":[86],"such":[87],"consecutions.":[88],"Some":[89],"applications":[90],"to":[91],"particular":[92],"modality":[97],"are":[98],"given.":[99]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}