{"id":"https://openalex.org/W7161177904","doi":"https://doi.org/10.1093/jigpal/jzag028","title":"Nondeterministic first-order T-BAT logic","display_name":"Nondeterministic first-order T-BAT logic","publication_year":2026,"publication_date":"2026-04-21","ids":{"openalex":"https://openalex.org/W7161177904","doi":"https://doi.org/10.1093/jigpal/jzag028"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzag028","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzag028","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","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/A5016042560","display_name":"Pawe\u0142 Paw\u0142owski","orcid":"https://orcid.org/0000-0002-4993-6454"},"institutions":[{"id":"https://openalex.org/I12607205","display_name":"HOGENT University of Applied Sciences and Arts","ror":"https://ror.org/00rs45z86","country_code":"BE","type":"education","lineage":["https://openalex.org/I12607205"]},{"id":"https://openalex.org/I2801227569","display_name":"Ghent University Hospital","ror":"https://ror.org/00xmkp704","country_code":"BE","type":"healthcare","lineage":["https://openalex.org/I2801227569"]},{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Pawel Pawlowski","raw_affiliation_strings":["Faculty of Arts and Philosophy , Ghent University, Ghent, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Arts and Philosophy , Ghent University, Ghent, Belgium","institution_ids":["https://openalex.org/I12607205","https://openalex.org/I2801227569","https://openalex.org/I32597200"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5126484261","display_name":"Laura Katherin Jimenez\u2010Cuadros","orcid":null},"institutions":[{"id":"https://openalex.org/I12607205","display_name":"HOGENT University of Applied Sciences and Arts","ror":"https://ror.org/00rs45z86","country_code":"BE","type":"education","lineage":["https://openalex.org/I12607205"]},{"id":"https://openalex.org/I2801227569","display_name":"Ghent University Hospital","ror":"https://ror.org/00xmkp704","country_code":"BE","type":"healthcare","lineage":["https://openalex.org/I2801227569"]},{"id":"https://openalex.org/I32597200","display_name":"Ghent University","ror":"https://ror.org/00cv9y106","country_code":"BE","type":"education","lineage":["https://openalex.org/I32597200"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Laura Katherin Jimenez-Cuadros","raw_affiliation_strings":["Faculty of Arts and Philosophy , Ghent University, Ghent, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Arts and Philosophy , Ghent University, Ghent, Belgium","institution_ids":["https://openalex.org/I12607205","https://openalex.org/I2801227569","https://openalex.org/I32597200"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.59121116,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5349000096321106,"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.5349000096321106,"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.31279999017715454,"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.03220000118017197,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.5322999954223633},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.44190001487731934},{"id":"https://openalex.org/keywords/non-classical-logic","display_name":"Non-classical logic","score":0.43470001220703125},{"id":"https://openalex.org/keywords/truth-table","display_name":"Truth table","score":0.42080000042915344},{"id":"https://openalex.org/keywords/mathematical-logic","display_name":"Mathematical logic","score":0.4000999927520752},{"id":"https://openalex.org/keywords/philosophy-of-logic","display_name":"Philosophy of logic","score":0.3935999870300293},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.38960000872612},{"id":"https://openalex.org/keywords/tautology","display_name":"Tautology (logic)","score":0.38690000772476196},{"id":"https://openalex.org/keywords/reflection","display_name":"Reflection (computer programming)","score":0.3840999901294708}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5659999847412109},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.5322999954223633},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.44190001487731934},{"id":"https://openalex.org/C74992188","wikidata":"https://www.wikidata.org/wiki/Q239179","display_name":"Non-classical logic","level":3,"score":0.43470001220703125},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.42080000042915344},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.4000999927520752},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.398499995470047},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39410001039505005},{"id":"https://openalex.org/C101874905","wikidata":"https://www.wikidata.org/wiki/Q2476757","display_name":"Philosophy of logic","level":2,"score":0.3935999870300293},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.38960000872612},{"id":"https://openalex.org/C166374712","wikidata":"https://www.wikidata.org/wiki/Q209555","display_name":"Tautology (logic)","level":5,"score":0.38690000772476196},{"id":"https://openalex.org/C65682993","wikidata":"https://www.wikidata.org/wiki/Q1056451","display_name":"Reflection (computer programming)","level":2,"score":0.3840999901294708},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3808000087738037},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.375900000333786},{"id":"https://openalex.org/C89774696","wikidata":"https://www.wikidata.org/wiki/Q1506807","display_name":"Informal logic","level":3,"score":0.36500000953674316},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.3549000024795532},{"id":"https://openalex.org/C2780432614","wikidata":"https://www.wikidata.org/wiki/Q864213","display_name":"Conservative extension","level":2,"score":0.3424000144004822},{"id":"https://openalex.org/C19689857","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"Predicate logic","level":3,"score":0.34209999442100525},{"id":"https://openalex.org/C16796852","wikidata":"https://www.wikidata.org/wiki/Q426592","display_name":"Paraconsistent logic","level":4,"score":0.33869999647140503},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.3375000059604645},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.33500000834465027},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.3310000002384186},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3240000009536743},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3179999887943268},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31369999051094055},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3084999918937683},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.29179999232292175},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.290800005197525},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.2766000032424927},{"id":"https://openalex.org/C144701195","wikidata":"https://www.wikidata.org/wiki/Q10859910","display_name":"Theory","level":2,"score":0.2703000009059906},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.26010000705718994},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.257999986410141}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzag028","is_oa":false,"landing_page_url":"https://doi.org/10.1093/jigpal/jzag028","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.45025214552879333}],"awards":[{"id":"https://openalex.org/G4380493657","display_name":"Non-deterministic semantics as a tool for modeling negation and modality.","funder_award_id":"1255724N","funder_id":"https://openalex.org/F4320321730","funder_display_name":"Fonds Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W37116735","https://openalex.org/W46517763","https://openalex.org/W322846920","https://openalex.org/W992186155","https://openalex.org/W1822309835","https://openalex.org/W1970869125","https://openalex.org/W1992411930","https://openalex.org/W1995235276","https://openalex.org/W1998439738","https://openalex.org/W2012155535","https://openalex.org/W2012749961","https://openalex.org/W2023909168","https://openalex.org/W2030437469","https://openalex.org/W2033539496","https://openalex.org/W2041236447","https://openalex.org/W2041630238","https://openalex.org/W2057901019","https://openalex.org/W2073897909","https://openalex.org/W2077047670","https://openalex.org/W2078339269","https://openalex.org/W2079871207","https://openalex.org/W2089443884","https://openalex.org/W2093281783","https://openalex.org/W2096113709","https://openalex.org/W2102108735","https://openalex.org/W2109773523","https://openalex.org/W2129633101","https://openalex.org/W2149062436","https://openalex.org/W2165124298","https://openalex.org/W2251843765","https://openalex.org/W2254944534","https://openalex.org/W2320543258","https://openalex.org/W2477085315","https://openalex.org/W2479488421","https://openalex.org/W2505047206","https://openalex.org/W2546484167","https://openalex.org/W2555579152","https://openalex.org/W2558172047","https://openalex.org/W2726977141","https://openalex.org/W2782983618","https://openalex.org/W2788543751","https://openalex.org/W2794786258","https://openalex.org/W3002088564","https://openalex.org/W3003158382","https://openalex.org/W3093083956","https://openalex.org/W3140067411","https://openalex.org/W3210588079","https://openalex.org/W4200409767","https://openalex.org/W4205448446","https://openalex.org/W4212982563","https://openalex.org/W4232871847","https://openalex.org/W4248723334","https://openalex.org/W4256694205","https://openalex.org/W4302318230","https://openalex.org/W4320728974","https://openalex.org/W4390700435","https://openalex.org/W4392371506","https://openalex.org/W4395064194","https://openalex.org/W4412173693"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"The":[1],"relationship":[2],"between":[3],"formal":[4,26],"and":[5,15,60,81],"informal":[6,54,74],"provability":[7,27,57],"has":[8,90],"been":[9,69,93],"a":[10,39,84],"significant":[11],"subject":[12],"of":[13,56,76,87],"philosophical":[14],"mathematical":[16,63],"investigation.":[17],"Formal":[18],"systems":[19,67],"such":[20,105],"as":[21,58],"G\u00f6del-L\u00f6b":[22],"logic":[23,89],"(GL)":[24],"capture":[25,72],"but":[28],"do":[29],"not":[30,91],"validate":[31],"the":[32,53],"reflection":[33],"schema\u2014a":[34],"principle":[35],"stating":[36],"that":[37],"if":[38],"statement":[40],"is":[41,49],"provable,":[42],"it":[43],"must":[44],"be":[45],"true.":[46],"This":[47,95],"schema":[48],"intuitively":[50],"valid":[51],"for":[52],"notion":[55,75],"understood":[59],"used":[61],"in":[62],"practice.":[64],"Several":[65],"logical":[66],"have":[68],"developed":[70],"to":[71,98],"this":[73,100],"provability,":[77],"including":[78],"BAT,":[79],"CABAT,":[80],"T-BAT.":[82],"However,":[83],"first-order":[85],"version":[86],"T-BAT":[88],"yet":[92],"developed.":[94],"paper":[96],"aims":[97],"address":[99],"research":[101],"gap":[102],"by":[103],"providing":[104],"an":[106],"extension.":[107]},"counts_by_year":[],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2026-05-15T00:00:00"}