{"id":"https://openalex.org/W1971120309","doi":"https://doi.org/10.1016/s1571-0661(05)80756-x","title":"Incompleteness of Behavioral Logics","display_name":"Incompleteness of Behavioral Logics","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W1971120309","doi":"https://doi.org/10.1016/s1571-0661(05)80756-x","mag":"1971120309"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(05)80756-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80756-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(05)80756-x","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103600441","display_name":"Samuel R. Buss","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel Buss","raw_affiliation_strings":["Department of Mathematics University of California, San Diego"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics University of California, San Diego","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053878331","display_name":"Grigore Ro\u015fu","orcid":"https://orcid.org/0000-0002-3102-0421"},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grigore Ro\u015fu","raw_affiliation_strings":["Department of Computer Science & Engineering University of California, San Diego","[Department of Computer Science and Engineering, University of California, San Diego]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science & Engineering University of California, San Diego","institution_ids":["https://openalex.org/I36258959"]},{"raw_affiliation_string":"[Department of Computer Science and Engineering, University of California, San Diego]","institution_ids":["https://openalex.org/I36258959"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I36258959"],"apc_list":null,"apc_paid":null,"fwci":6.051,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.96625355,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"33","issue":null,"first_page":"61","last_page":"79"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9983999729156494,"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.9983999729156494,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9970999956130981,"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.9922999739646912,"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/recursively-enumerable-language","display_name":"Recursively enumerable language","score":0.7712101936340332},{"id":"https://openalex.org/keywords/behavioral-modeling","display_name":"Behavioral modeling","score":0.6187716722488403},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5324535965919495},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.4919399917125702},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4637831449508667},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4592985212802887},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43229836225509644},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.36608877778053284},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3376527726650238},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24277547001838684}],"concepts":[{"id":"https://openalex.org/C203702658","wikidata":"https://www.wikidata.org/wiki/Q1073063","display_name":"Recursively enumerable language","level":2,"score":0.7712101936340332},{"id":"https://openalex.org/C78639753","wikidata":"https://www.wikidata.org/wiki/Q3318160","display_name":"Behavioral modeling","level":2,"score":0.6187716722488403},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5324535965919495},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.4919399917125702},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4637831449508667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4592985212802887},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43229836225509644},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36608877778053284},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3376527726650238},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24277547001838684},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1016/s1571-0661(05)80756-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80756-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.24.8444","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.8444","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.Mathematik.uni-marburg.de/~tschroed/SemUniAlg/incomp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.33.2298","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.2298","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ase.arc.nasa.gov/people/grosu/download/incomp.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.34.4349","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.4349","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cse.ucsd.edu/users/grosu/pubs/../ps/incomp.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.39.1671","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.1671","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-cse.ucsd.edu/~grosu/ps/incomp.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.58.1742","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.1742","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://euclid.ucsd.edu/~sbuss/ResearchWeb/HiddenAlgebra/incomp.ps","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.82.287","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.82.287","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://euclid.ucsd.edu/~sbuss/ResearchWeb/HiddenAlgebra/incomp.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(05)80756-x","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(05)80756-x","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W78613561","https://openalex.org/W657159919","https://openalex.org/W1492640621","https://openalex.org/W1515642336","https://openalex.org/W1600606023","https://openalex.org/W2002112801","https://openalex.org/W2006176044","https://openalex.org/W2033809864","https://openalex.org/W2037105931","https://openalex.org/W2044602322","https://openalex.org/W2049261036","https://openalex.org/W2056405883","https://openalex.org/W2059891142","https://openalex.org/W2117832390","https://openalex.org/W2481077391","https://openalex.org/W2613512071","https://openalex.org/W2658295792","https://openalex.org/W2911306852","https://openalex.org/W2914488987","https://openalex.org/W4285719527","https://openalex.org/W4388313847","https://openalex.org/W6629406560","https://openalex.org/W6659091468","https://openalex.org/W6672560806","https://openalex.org/W6758987313"],"related_works":["https://openalex.org/W2386767533","https://openalex.org/W2376271475","https://openalex.org/W2037833610","https://openalex.org/W2366393194","https://openalex.org/W1973052363","https://openalex.org/W1980641386","https://openalex.org/W17676366","https://openalex.org/W1989095041","https://openalex.org/W2887494859","https://openalex.org/W2011410600"],"abstract_inverted_index":{"Incompleteness":[0],"results":[1],"for":[2,17,35,52,104,122,130],"behavioral":[3,15,20,42,56,68,88,98,111,124,156],"logics":[4,43,57,99],"are":[5,31,61,100,120],"investigated.":[6],"We":[7,63],"show":[8,93,129],"that":[9,29,66,77,96,134,151],"there":[10,30,78],"is":[11,23,71,79,113,158],"a":[12],"basic":[13],"finite":[14],"specification":[16],"which":[18,27,59,75],"the":[19,55,67,108,131,152],"satisfaction":[21,69,112],"problem":[22,70],"not":[24,45,72,114,148],"recursively":[25],"enumerable,":[26,74],"means":[28,76],"no":[32,80],"automatic":[33,81],"methods":[34],"proving":[36],"all":[37,53,97],"true":[38],"statements;":[39],"in":[40,87],"particular,":[41],"do":[44],"admit":[46],"complete":[47],"deduction":[48],"systems.":[49],"This":[50],"holds":[51],"of":[54,58,110,155],"we":[60,92,128],"aware.":[62],"also":[64],"prove":[65],"co-recursively":[73],"way":[82],"to":[83],"refute":[84],"false":[85],"statements":[86],"logics.":[89,125],"In":[90,126],"fact":[91],"stronger":[94],"results,":[95],"\u03a002-hard,":[101],"and":[102],"that,":[103],"some":[105,123],"data":[106],"algebras,":[107],"complexity":[109],"even":[115],"arithmetic;":[116],"matching":[117],"upper":[118],"bounds":[119],"established":[121],"addition,":[127],"fixed-data":[132],"case":[133],"if":[135],"operations":[136],"may":[137],"have":[138],"more":[139],"than":[140],"one":[141],"hidden":[142],"argument,":[143],"then":[144],"final":[145],"models":[146],"need":[147],"exist,":[149],"so":[150],"coalgebraic":[153],"flavor":[154],"logic":[157],"lost.":[159]},"counts_by_year":[{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}