{"id":"https://openalex.org/W2060399736","doi":"https://doi.org/10.1007/s00224-007-9059-9","title":"Branching Time Logics $\\mathcal {BTL}^{\\mathrm {U,S}}_{\\mathrm {N},\\mathrm {N}^{-1}}(\\mathcal {Z})_{\\alpha }$ with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms","display_name":"Branching Time Logics $\\mathcal {BTL}^{\\mathrm {U,S}}_{\\mathrm {N},\\mathrm {N}^{-1}}(\\mathcal {Z})_{\\alpha }$ with Operations Until and Since Based on Bundles of Integer Numbers, Logical Consecutions, Deciding Algorithms","publication_year":2007,"publication_date":"2007-10-05","ids":{"openalex":"https://openalex.org/W2060399736","doi":"https://doi.org/10.1007/s00224-007-9059-9","mag":"2060399736"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-007-9059-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00224-007-9059-9","pdf_url":null,"source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"Theory of Computing Systems","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":"V. Rybakov","raw_affiliation_strings":["Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester, M1 5GD, UK","Manchester Metropolitan University, Department of Computing and Mathematics, John Dalton Building, Chester Street, M1 5GD, Manchester, UK#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computing and Mathematics, Manchester Metropolitan University, John Dalton Building, Chester Street, Manchester, M1 5GD, UK","institution_ids":["https://openalex.org/I11983389"]},{"raw_affiliation_string":"Manchester Metropolitan University, Department of Computing and Mathematics, John Dalton Building, Chester Street, M1 5GD, Manchester, UK#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":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":2.6334,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.89501866,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"43","issue":"2","first_page":"254","last_page":"271"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980999827384949,"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.9961000084877014,"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/combinatorics","display_name":"Combinatorics","score":0.6200600862503052},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5609216690063477},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.5022006034851074},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.4765475392341614},{"id":"https://openalex.org/keywords/integer","display_name":"Integer (computer science)","score":0.4523313343524933},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31147536635398865},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3001386523246765},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.08307868242263794}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6200600862503052},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5609216690063477},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.5022006034851074},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.4765475392341614},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4523313343524933},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31147536635398865},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3001386523246765},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.08307868242263794},{"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/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00224-007-9059-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00224-007-9059-9","pdf_url":null,"source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"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":"Theory of Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G4587781807","display_name":null,"funder_award_id":"EP/F014406/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"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":49,"referenced_works":["https://openalex.org/W61355775","https://openalex.org/W633803211","https://openalex.org/W1488267121","https://openalex.org/W1506588809","https://openalex.org/W1512310098","https://openalex.org/W1516806823","https://openalex.org/W1521991348","https://openalex.org/W1524655177","https://openalex.org/W1527412528","https://openalex.org/W1549122259","https://openalex.org/W1573056557","https://openalex.org/W1603602114","https://openalex.org/W1831425772","https://openalex.org/W1975190772","https://openalex.org/W1982302236","https://openalex.org/W2003227046","https://openalex.org/W2004532354","https://openalex.org/W2017542140","https://openalex.org/W2019740327","https://openalex.org/W2023712626","https://openalex.org/W2023808162","https://openalex.org/W2027924374","https://openalex.org/W2035351521","https://openalex.org/W2038216920","https://openalex.org/W2046526482","https://openalex.org/W2049821930","https://openalex.org/W2074899782","https://openalex.org/W2075320155","https://openalex.org/W2080542786","https://openalex.org/W2081160992","https://openalex.org/W2093916942","https://openalex.org/W2093974031","https://openalex.org/W2103146530","https://openalex.org/W2108756969","https://openalex.org/W2112687509","https://openalex.org/W2114817689","https://openalex.org/W2124876285","https://openalex.org/W2126852230","https://openalex.org/W2132750992","https://openalex.org/W2138544762","https://openalex.org/W2159753366","https://openalex.org/W2164389533","https://openalex.org/W2168410054","https://openalex.org/W2396555304","https://openalex.org/W2561675875","https://openalex.org/W4213219346","https://openalex.org/W4230665353","https://openalex.org/W4245581594","https://openalex.org/W4251206353"],"related_works":["https://openalex.org/W2053402117","https://openalex.org/W4248517938","https://openalex.org/W1487640159","https://openalex.org/W2965601937","https://openalex.org/W2342229138","https://openalex.org/W4379471579","https://openalex.org/W4362647855","https://openalex.org/W4234687429","https://openalex.org/W1989605444","https://openalex.org/W2963431677"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}