{"id":"https://openalex.org/W3165682373","doi":"https://doi.org/10.1080/11663081.2021.1915688","title":"Measuring inconsistency in some branching time logics","display_name":"Measuring inconsistency in some branching time logics","publication_year":2021,"publication_date":"2021-04-03","ids":{"openalex":"https://openalex.org/W3165682373","doi":"https://doi.org/10.1080/11663081.2021.1915688","mag":"3165682373"},"language":"en","primary_location":{"id":"doi:10.1080/11663081.2021.1915688","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.2021.1915688","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/A5078922929","display_name":"John Grant","orcid":"https://orcid.org/0000-0001-7503-7703"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John Grant","raw_affiliation_strings":["Department of Computer Science and UMIACS, University of Maryland, College Park, MD, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and UMIACS, University of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5078922929"],"corresponding_institution_ids":["https://openalex.org/I66946132"],"apc_list":null,"apc_paid":null,"fwci":0.6507,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.7520089,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"31","issue":"2","first_page":"85","last_page":"107"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9994000196456909,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/intermediate-logic","display_name":"Intermediate logic","score":0.6332138180732727},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.6324164867401123},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.6264116764068604},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.6027719378471375},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.5967716574668884},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.5883046388626099},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5665541887283325},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.5413427948951721},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.521669864654541},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.5119165182113647},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.47610175609588623},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.4670369327068329},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.43917202949523926},{"id":"https://openalex.org/keywords/classical-logic","display_name":"Classical logic","score":0.4269663989543915},{"id":"https://openalex.org/keywords/dynamic-logic","display_name":"Dynamic logic (digital electronics)","score":0.4145446717739105},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.36610400676727295},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34279900789260864},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31471556425094604},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.30055269598960876},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.18756958842277527},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.1702386736869812},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10274896025657654}],"concepts":[{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.6332138180732727},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.6324164867401123},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.6264116764068604},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.6027719378471375},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.5967716574668884},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.5883046388626099},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5665541887283325},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.5413427948951721},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.521669864654541},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.5119165182113647},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.47610175609588623},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.4670369327068329},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.43917202949523926},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.4269663989543915},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.4145446717739105},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.36610400676727295},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34279900789260864},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31471556425094604},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.30055269598960876},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.18756958842277527},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.1702386736869812},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10274896025657654},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"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.1080/11663081.2021.1915688","is_oa":false,"landing_page_url":"https://doi.org/10.1080/11663081.2021.1915688","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1480892787","https://openalex.org/W1972647152","https://openalex.org/W1996579835","https://openalex.org/W2048355938","https://openalex.org/W2081482506","https://openalex.org/W2086179737","https://openalex.org/W2102339179","https://openalex.org/W2258514347","https://openalex.org/W2604177337","https://openalex.org/W2953903422","https://openalex.org/W3000020498","https://openalex.org/W3034512235","https://openalex.org/W4248146782"],"related_works":["https://openalex.org/W3137333128","https://openalex.org/W2591594485","https://openalex.org/W2285760602","https://openalex.org/W2165019859","https://openalex.org/W1986625420","https://openalex.org/W2441642482","https://openalex.org/W2086252467","https://openalex.org/W152363683","https://openalex.org/W2391464469","https://openalex.org/W3165682373"],"abstract_inverted_index":{"Branching":[0],"time":[1,46,60,145],"logics":[2,124],"have":[3,28],"been":[4,29],"studied":[5,30],"in":[6,58,142],"computer":[7],"science":[8],"since":[9,31],"the":[10,15,32,62,66,70,110,128,139,143],"1980s":[11],"primarily":[12],"to":[13,54,104,113,122,136],"model":[14],"tree":[16],"of":[17,72,83,95,127,151],"computations":[18],"for":[19,25,43],"discrete":[20],"transition":[21],"systems.":[22],"Inconsistency":[23],"measures":[24,42,119,133],"propositional":[26,78,105,111,152],"logic":[27,79,106,117,146,153],"early":[33],"2000s":[34],"by":[35,80],"AI":[36],"researchers.":[37],"This":[38],"paper":[39],"introduces":[40],"inconsistency":[41,56,118,154],"three":[44,81],"branching":[45,59,144],"logics:":[47],"ABTL,":[48],"BBTL,":[49],"and":[50,89,125],"CBTL.":[51],"In":[52],"order":[53],"measure":[55],"properly":[57],"logics,":[61],"semantics":[63,68],"differs":[64],"from":[65],"standard":[67],"using":[69],"construction":[71],"a":[73,93],"canonical":[74],"tree.":[75],"ABTL":[76],"extends":[77],"pairs":[82],"unary":[84],"operators:":[85],"next":[86],"time,":[87],"path,":[88],"eventually.":[90],"BBTL":[91,114],"adds":[92,109],"pair":[94],"binary":[96],"Until":[97],"operators":[98,147],"that":[99],"can":[100],"be":[101],"applied":[102],"only":[103],"formulas.":[107,115],"CBTL":[108],"connectives":[112],"Propositional":[116],"are":[120,130,134],"extended":[121],"these":[123],"examples":[126],"computation":[129],"given.":[131],"These":[132],"shown":[135],"satisfy":[137],"intuitively":[138],"concepts":[140],"involved":[141],"unlike":[148],"direct":[149],"extensions":[150],"measures.":[155]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}