{"id":"https://openalex.org/W4385438728","doi":"https://doi.org/10.24963/kr.2023/17","title":"Mathematical Foundations for Joining Only Knowing and Common Knowledge","display_name":"Mathematical Foundations for Joining Only Knowing and Common Knowledge","publication_year":2023,"publication_date":"2023-07-31","ids":{"openalex":"https://openalex.org/W4385438728","doi":"https://doi.org/10.24963/kr.2023/17"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2023/17","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/17","pdf_url":"https://proceedings.kr.org/2023/17/kr2023-0017-cramer-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2023/17/kr2023-0017-cramer-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009732995","display_name":"Marcos Cramer","orcid":"https://orcid.org/0000-0002-9461-1245"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marcos Cramer","raw_affiliation_strings":["TU Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092118643","display_name":"Samuele Pollaci","orcid":"https://orcid.org/0000-0002-2914-787X"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Samuele Pollaci","raw_affiliation_strings":["Vrije Universiteit Brussel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089527287","display_name":"Bart Bogaerts","orcid":"https://orcid.org/0000-0003-3460-4251"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bart Bogaerts","raw_affiliation_strings":["Vrije Universiteit Brussel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel","institution_ids":["https://openalex.org/I13469542"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08367424,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"167","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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.9939000010490417,"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.9886999726295471,"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/introspection","display_name":"Introspection","score":0.7368714809417725},{"id":"https://openalex.org/keywords/kripke-structure","display_name":"Kripke structure","score":0.6858009099960327},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6746180057525635},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.654758095741272},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.6331799030303955},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.61580491065979},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.5599145293235779},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39643412828445435},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.3523351848125458},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.347190797328949},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.2690001428127289},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.2625080943107605},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18355759978294373},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.14247748255729675},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.12004387378692627}],"concepts":[{"id":"https://openalex.org/C129671850","wikidata":"https://www.wikidata.org/wiki/Q210501","display_name":"Introspection","level":2,"score":0.7368714809417725},{"id":"https://openalex.org/C161913894","wikidata":"https://www.wikidata.org/wiki/Q1077740","display_name":"Kripke structure","level":3,"score":0.6858009099960327},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6746180057525635},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.654758095741272},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.6331799030303955},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.61580491065979},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.5599145293235779},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39643412828445435},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.3523351848125458},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.347190797328949},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.2690001428127289},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2625080943107605},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18355759978294373},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.14247748255729675},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.12004387378692627}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2023/17","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/17","pdf_url":"https://proceedings.kr.org/2023/17/kr2023-0017-cramer-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:168745","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/mathematical-foundations-for-joining-only-knowing-and-common-knowledge(8cca9826-8a63-4788-990f-06b2535ecab9).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.24963/kr.2023/17","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/17","pdf_url":"https://proceedings.kr.org/2023/17/kr2023-0017-cramer-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8639639243","display_name":null,"funder_award_id":"G0B2221N","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"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385438728.pdf"},"referenced_works_count":45,"referenced_works":["https://openalex.org/W29597899","https://openalex.org/W48715203","https://openalex.org/W111190586","https://openalex.org/W169098792","https://openalex.org/W1494976167","https://openalex.org/W1501530641","https://openalex.org/W1518744800","https://openalex.org/W1654133466","https://openalex.org/W1788106506","https://openalex.org/W1966552757","https://openalex.org/W1981194978","https://openalex.org/W1981270069","https://openalex.org/W1991972474","https://openalex.org/W1998575874","https://openalex.org/W2004226183","https://openalex.org/W2016917647","https://openalex.org/W2041998877","https://openalex.org/W2067326626","https://openalex.org/W2142947219","https://openalex.org/W2155322595","https://openalex.org/W2157342732","https://openalex.org/W2232612073","https://openalex.org/W2402121205","https://openalex.org/W2521742709","https://openalex.org/W2912244021","https://openalex.org/W4210411973","https://openalex.org/W4250916971","https://openalex.org/W4379919410","https://openalex.org/W6600216341","https://openalex.org/W6606712960","https://openalex.org/W6606901533","https://openalex.org/W6636916602","https://openalex.org/W6637232493","https://openalex.org/W6637530416","https://openalex.org/W6645258971","https://openalex.org/W6648406416","https://openalex.org/W6654618685","https://openalex.org/W6675928816","https://openalex.org/W6681522261","https://openalex.org/W6682919253","https://openalex.org/W6689670282","https://openalex.org/W6713058140","https://openalex.org/W6758461874","https://openalex.org/W6758625835","https://openalex.org/W6792577042"],"related_works":["https://openalex.org/W2974949998","https://openalex.org/W2791039533","https://openalex.org/W2135719375","https://openalex.org/W2952497227","https://openalex.org/W2605195401","https://openalex.org/W4385438728","https://openalex.org/W3099531604","https://openalex.org/W3100226298","https://openalex.org/W2160191881","https://openalex.org/W111991431"],"abstract_inverted_index":{"Common":[0],"knowledge":[1,36,111],"and":[2,8,112,116,151,175],"only":[3,66,86,113,128,173],"knowing":[4,114,174],"capture":[5,61],"two":[6,42],"intuitive":[7],"natural":[9],"notions":[10],"that":[11,89,126,153],"have":[12,45],"proven":[13],"to":[14,24,33,54,60,103],"be":[15,181],"useful":[16],"in":[17,49],"a":[18,70,75,105,117,143,147],"variety":[19],"of":[20,37,65,77,132],"settings,":[21],"for":[22,79,121],"example":[23],"reason":[25],"about":[26],"coordination":[27],"or":[28,32,170],"agreement":[29],"between":[30],"agents,":[31],"analyse":[34],"the":[35,51,87,158],"knowledge-based":[38],"agents.":[39],"While":[40],"these":[41],"epistemic":[43,107],"operators":[44],"been":[46],"extensively":[47],"studied":[48],"isolation,":[50],"approaches":[52],"made":[53],"encode":[55],"their":[56],"complex":[57],"interplay":[58],"failed":[59],"some":[62],"essential":[63],"properties":[64],"knowing.":[67],"We":[68],"propose":[69],"novel":[71],"solution":[72],"by":[73],"defining":[74],"notion":[76],"\u03bc-biworld":[78],"countable":[80],"ordinals":[81],"\u03bc,":[82],"which":[83],"approximates":[84],"not":[85],"worlds":[88],"an":[90],"agent":[91],"deems":[92],"possible,":[93],"but":[94],"also":[95],"those":[96],"deemed":[97],"impossible.":[98],"This":[99],"approach":[100],"allows":[101],"us":[102],"define":[104,142],"multi-agent":[106],"logic":[108],"with":[109,157,172],"common":[110],"operators,":[115],"three-valued":[118],"model":[119,159],"semantics":[120,145,155],"it.":[122],"Moreover,":[123],"we":[124,127,141,162],"show":[125,152,176],"really":[129],"need":[130],"biworlds":[131],"depth":[133],"at":[134],"most":[135],"\u03c9\u00b2+1.":[136],"Based":[137],"on":[138,146],"this":[139,154],"observation,":[140],"Kripke":[144,149],"canonical":[148],"structure":[150],"coincides":[156],"semantics.":[160],"Finally,":[161],"discuss":[163],"issues":[164],"arising":[165],"when":[166],"combining":[167],"negative":[168],"introspection":[169,179],"truthfulness":[171],"how":[177],"positive":[178],"can":[180],"integrated":[182],"into":[183],"our":[184],"logic.":[185]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}