{"id":"https://openalex.org/W2034453867","doi":"https://doi.org/10.1007/s11225-013-9490-7","title":"On Provability Logics with Linearly Ordered Modalities","display_name":"On Provability Logics with Linearly Ordered Modalities","publication_year":2013,"publication_date":"2013-07-25","ids":{"openalex":"https://openalex.org/W2034453867","doi":"https://doi.org/10.1007/s11225-013-9490-7","mag":"2034453867"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-013-9490-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-013-9490-7","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","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/A5000566596","display_name":"Lev D. Beklemishev","orcid":"https://orcid.org/0000-0002-2949-0600"},"institutions":[{"id":"https://openalex.org/I118501908","display_name":"National Research University Higher School of Economics","ror":"https://ror.org/055f7t516","country_code":"RU","type":"education","lineage":["https://openalex.org/I118501908"]},{"id":"https://openalex.org/I2801160905","display_name":"Steklov Mathematical Institute","ror":"https://ror.org/03zeg8w71","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I2801160905","https://openalex.org/I4210124601"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Lev D. Beklemishev","raw_affiliation_strings":["V. A. Steklov Mathematical Institute, RAS, Moscow M.V. Lomonosov State University, National Research University Higher School of Economics, Moscow, Russia","V. A. Steklov Mathematical Institute, RAS, Moscow M.V. Lomonosov State University, National Research University Higher School of Economics, Moscow, Russia#TAB#"],"affiliations":[{"raw_affiliation_string":"V. A. Steklov Mathematical Institute, RAS, Moscow M.V. Lomonosov State University, National Research University Higher School of Economics, Moscow, Russia","institution_ids":["https://openalex.org/I2801160905","https://openalex.org/I118501908"]},{"raw_affiliation_string":"V. A. Steklov Mathematical Institute, RAS, Moscow M.V. Lomonosov State University, National Research University Higher School of Economics, Moscow, Russia#TAB#","institution_ids":["https://openalex.org/I2801160905","https://openalex.org/I118501908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080309379","display_name":"David Fern\u00e1ndez\u2013Duque","orcid":"https://orcid.org/0000-0001-8604-4183"},"institutions":[{"id":"https://openalex.org/I79238269","display_name":"Universidad de Sevilla","ror":"https://ror.org/03yxnpp24","country_code":"ES","type":"education","lineage":["https://openalex.org/I79238269"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"David Fern\u00e1ndez-Duque","raw_affiliation_strings":["Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Seville, Spain","[Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Seville, Spain]"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Seville, Spain","institution_ids":["https://openalex.org/I79238269"]},{"raw_affiliation_string":"[Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Seville, Spain]","institution_ids":["https://openalex.org/I79238269"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086500294","display_name":"Joost J. Joosten","orcid":"https://orcid.org/0000-0001-9590-5045"},"institutions":[{"id":"https://openalex.org/I71999127","display_name":"Universitat de Barcelona","ror":"https://ror.org/021018s57","country_code":"ES","type":"education","lineage":["https://openalex.org/I71999127"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Joost J. Joosten","raw_affiliation_strings":["Department of Logic, History and Philosophy of Science, Universitat de Barcelona, Barcelona, Spain"],"affiliations":[{"raw_affiliation_string":"Department of Logic, History and Philosophy of Science, Universitat de Barcelona, Barcelona, Spain","institution_ids":["https://openalex.org/I71999127"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5080309379"],"corresponding_institution_ids":["https://openalex.org/I79238269"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":5.4746,"has_fulltext":false,"cited_by_count":33,"citation_normalized_percentile":{"value":0.95486348,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"102","issue":"3","first_page":"541","last_page":"566"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":1.0,"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":1.0,"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.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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9966999888420105,"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/finitary","display_name":"Finitary","score":0.9182244539260864},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8301571607589722},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.7087435722351074},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.6971420049667358},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.6010890007019043},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5399591326713562},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.49674850702285767},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.46524298191070557},{"id":"https://openalex.org/keywords/closed-set","display_name":"Closed set","score":0.4606172740459442},{"id":"https://openalex.org/keywords/partially-ordered-set","display_name":"Partially ordered set","score":0.4456937611103058},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.44384855031967163},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41730791330337524},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3503239154815674},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15086489915847778},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.11346086859703064}],"concepts":[{"id":"https://openalex.org/C2778003309","wikidata":"https://www.wikidata.org/wiki/Q5450381","display_name":"Finitary","level":2,"score":0.9182244539260864},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8301571607589722},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7087435722351074},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.6971420049667358},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6010890007019043},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5399591326713562},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.49674850702285767},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.46524298191070557},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.4606172740459442},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.4456937611103058},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.44384855031967163},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41730791330337524},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3503239154815674},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15086489915847778},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.11346086859703064},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11225-013-9490-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-013-9490-7","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"},{"id":"pmh:oai:archive.ugent.be:8566417","is_oa":false,"landing_page_url":"http://hdl.handle.net/1854/LU-8566417","pdf_url":null,"source":{"id":"https://openalex.org/S4306400478","display_name":"Ghent University Academic Bibliography (Ghent University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I32597200","host_organization_name":"Ghent University","host_organization_lineage":["https://openalex.org/I32597200"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"STUDIA LOGICA","raw_type":"journalArticle"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321079","display_name":"Russian Foundation for Basic Research","ror":"https://ror.org/02mh1ke95"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W91887366","https://openalex.org/W125059438","https://openalex.org/W1569545587","https://openalex.org/W1596661547","https://openalex.org/W1978060594","https://openalex.org/W1994332324","https://openalex.org/W2008207340","https://openalex.org/W2010855309","https://openalex.org/W2058604356","https://openalex.org/W2065285281","https://openalex.org/W2075471377","https://openalex.org/W2089432821","https://openalex.org/W2109732494","https://openalex.org/W2143956643","https://openalex.org/W2145828499","https://openalex.org/W2155188310","https://openalex.org/W2270220526","https://openalex.org/W2399205320","https://openalex.org/W2560908651","https://openalex.org/W2596960772","https://openalex.org/W2597910552","https://openalex.org/W2743117888","https://openalex.org/W2963825272","https://openalex.org/W3136553163","https://openalex.org/W4254004595"],"related_works":["https://openalex.org/W2976590292","https://openalex.org/W4288102793","https://openalex.org/W4206837156","https://openalex.org/W2975654559","https://openalex.org/W2085314983","https://openalex.org/W2017288906","https://openalex.org/W147641928","https://openalex.org/W2752930545","https://openalex.org/W2040430117","https://openalex.org/W3101316517"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":4},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-01-15T23:16:33.117629","created_date":"2025-10-10T00:00:00"}