{"id":"https://openalex.org/W1972184289","doi":"https://doi.org/10.1007/s11229-010-9764-9","title":"The dynamics of awareness","display_name":"The dynamics of awareness","publication_year":2010,"publication_date":"2010-08-05","ids":{"openalex":"https://openalex.org/W1972184289","doi":"https://doi.org/10.1007/s11229-010-9764-9","mag":"1972184289"},"language":"en","primary_location":{"id":"doi:10.1007/s11229-010-9764-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-010-9764-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-010-9764-9.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11229-010-9764-9.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083214023","display_name":"Johan van Benthem","orcid":"https://orcid.org/0000-0002-7048-785X"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]},{"id":"https://openalex.org/I1743320","display_name":"Palo Alto University","ror":"https://ror.org/04f812k67","country_code":"US","type":"education","lineage":["https://openalex.org/I1743320"]}],"countries":["NL","US"],"is_corresponding":true,"raw_author_name":"Johan van Benthem","raw_affiliation_strings":["Department of Philosophy, Stanford University, Palo, Alto, USA","Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, The Netherlands","Stanford University","Universiteit van Amsterdam"],"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Stanford University, Palo, Alto, USA","institution_ids":["https://openalex.org/I1743320"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Universiteit van Amsterdam","institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037339361","display_name":"Fernando R. Vel\u00e1zquez\u2013Quesada","orcid":"https://orcid.org/0000-0003-4457-1414"},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Fernando R. Vel\u00e1zquez-Quesada","raw_affiliation_strings":["Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, The Netherlands","Universiteit van Amsterdam;"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation, Universiteit van Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I887064364"]},{"raw_affiliation_string":"Universiteit van Amsterdam;","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083214023"],"corresponding_institution_ids":["https://openalex.org/I1743320","https://openalex.org/I865915315","https://openalex.org/I887064364","https://openalex.org/I97018004"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":6.0385,"has_fulltext":true,"cited_by_count":71,"citation_normalized_percentile":{"value":0.95949337,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"177","issue":"S1","first_page":"5","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9803000092506409,"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.9750000238418579,"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/computer-science","display_name":"Computer science","score":0.6513671875},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5584349036216736},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5307274460792542},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5234829187393188},{"id":"https://openalex.org/keywords/philosophy-of-science","display_name":"Philosophy of science","score":0.5159012079238892},{"id":"https://openalex.org/keywords/omniscience","display_name":"Omniscience","score":0.5026798248291016},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.5017273426055908},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.49208134412765503},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.47881776094436646},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.45682623982429504},{"id":"https://openalex.org/keywords/philosophy-of-language","display_name":"Philosophy of language","score":0.4328383803367615},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.4187481999397278},{"id":"https://openalex.org/keywords/explicit-knowledge","display_name":"Explicit knowledge","score":0.41527673602104187},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37291276454925537},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.32849663496017456},{"id":"https://openalex.org/keywords/metaphysics","display_name":"Metaphysics","score":0.28934526443481445},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24916508793830872},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.16922318935394287},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1307620406150818},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.09604400396347046}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6513671875},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5584349036216736},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5307274460792542},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5234829187393188},{"id":"https://openalex.org/C110099512","wikidata":"https://www.wikidata.org/wiki/Q59115","display_name":"Philosophy of science","level":2,"score":0.5159012079238892},{"id":"https://openalex.org/C2776127325","wikidata":"https://www.wikidata.org/wiki/Q1424662","display_name":"Omniscience","level":2,"score":0.5026798248291016},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.5017273426055908},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.49208134412765503},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.47881776094436646},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.45682623982429504},{"id":"https://openalex.org/C123556308","wikidata":"https://www.wikidata.org/wiki/Q484761","display_name":"Philosophy of language","level":3,"score":0.4328383803367615},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4187481999397278},{"id":"https://openalex.org/C56814567","wikidata":"https://www.wikidata.org/wiki/Q1323686","display_name":"Explicit knowledge","level":2,"score":0.41527673602104187},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37291276454925537},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32849663496017456},{"id":"https://openalex.org/C182744844","wikidata":"https://www.wikidata.org/wiki/Q35277","display_name":"Metaphysics","level":2,"score":0.28934526443481445},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24916508793830872},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.16922318935394287},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1307620406150818},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.09604400396347046},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s11229-010-9764-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-010-9764-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-010-9764-9.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/57a130ee-3a31-454b-96be-42fc80d1c320","is_oa":true,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/the-dynamics-of-awareness(57a130ee-3a31-454b-96be-42fc80d1c320).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van Benthem, J & Vel\u00e1zquez-Quesada, F R 2010, 'The dynamics of awareness', Synthese, vol. 177, no. S1, pp. 5-27. https://doi.org/10.1007/s11229-010-9764-9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:dare.uva.nl:publications/57a130ee-3a31-454b-96be-42fc80d1c320","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/the-dynamics-of-awareness(57a130ee-3a31-454b-96be-42fc80d1c320).html","pdf_url":"https://pure.uva.nl/ws/files/991802/89106_331210.pdf","source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Benthem, J & Vel\u00e1zquez-Quesada, F R 2010, 'The dynamics of awareness', Synthese, vol. 177, no. S1, pp. 5-27. https://doi.org/10.1007/s11229-010-9764-9","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.224.5952","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.224.5952","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.illc.uva.nl/Publications/PP-2011-30.text.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/s11229-010-9764-9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-010-9764-9","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-010-9764-9.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1972184289.pdf","grobid_xml":"https://content.openalex.org/works/W1972184289.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W188879371","https://openalex.org/W300190828","https://openalex.org/W1497616999","https://openalex.org/W1518536561","https://openalex.org/W1518725080","https://openalex.org/W1525141167","https://openalex.org/W1534789503","https://openalex.org/W1541821187","https://openalex.org/W1544323190","https://openalex.org/W1588085858","https://openalex.org/W1786049355","https://openalex.org/W1951761968","https://openalex.org/W1972015197","https://openalex.org/W1973052685","https://openalex.org/W1973154161","https://openalex.org/W1994227541","https://openalex.org/W2009552408","https://openalex.org/W2032007125","https://openalex.org/W2032206951","https://openalex.org/W2040402984","https://openalex.org/W2048654653","https://openalex.org/W2096959337","https://openalex.org/W2100089187","https://openalex.org/W2104257465","https://openalex.org/W2120613606","https://openalex.org/W2137885850","https://openalex.org/W2140184658","https://openalex.org/W2148717074","https://openalex.org/W2162575076","https://openalex.org/W2282502121","https://openalex.org/W2552939155","https://openalex.org/W2610267414","https://openalex.org/W3124614942","https://openalex.org/W4213255959","https://openalex.org/W6629622156","https://openalex.org/W6632303655","https://openalex.org/W6674452728","https://openalex.org/W6681589381"],"related_works":["https://openalex.org/W2072770068","https://openalex.org/W2304642664","https://openalex.org/W4293713811","https://openalex.org/W1768168108","https://openalex.org/W3184418169","https://openalex.org/W3037612873","https://openalex.org/W2387273741","https://openalex.org/W2183238331","https://openalex.org/W2965350732","https://openalex.org/W4255940447"],"abstract_inverted_index":{"Classical":[0],"epistemic":[1,35],"logic":[2,85],"describes":[3],"implicit":[4],"knowledge":[5,11],"of":[6,12,25,53,57,86,95,106,119,137,142,182,239],"agents":[7,14,107,123,138],"about":[8],"facts":[9],"and":[10,78,139,187,200,228],"other":[13],"based":[15],"on":[16,92],"semantic":[17],"information.":[18],"The":[19],"latter":[20],"is":[21,44,48,74],"produced":[22,50,75],"by":[23,33,51,76],"acts":[24,52,181],"observation":[26],"or":[27],"communication":[28],"that":[29,71,122,154,178],"are":[30],"described":[31],"well":[32],"dynamic":[34,84,120,176],"logics.":[36,242],"What":[37],"these":[38,152],"logics":[39],"do":[40],"not":[41,111],"describe,":[42],"however,":[43],"how":[45,131,146,203],"significant":[46],"information":[47,73,135],"also":[49,81,185],"inference\u2014and":[54],"key":[55],"axioms":[56],"the":[58,69,93,96,117,168,191],"system":[59,177],"merely":[60],"postulate":[61],"\u201cdeductive":[62],"closure\u201d.":[63],"In":[64],"this":[65,160,204],"paper,":[66],"we":[67,80,162,201,210,224],"take":[68],"view":[70],"all":[72],"acts,":[77],"hence":[79],"need":[82],"a":[83,99,164,175,197,237],"inference":[87],"steps":[88],"showing":[89],"what":[90],"effort":[91],"part":[94],"agent":[97],"makes":[98],"conclusion":[100],"explicit":[101,143,157,207],"knowledge.":[102,158,208],"Strong":[103],"omniscience":[104],"properties":[105],"should":[108],"be":[109,234],"seen":[110,235],"as":[112,116,236],"static":[113,165],"idealizations,":[114],"but":[115,184],"result":[118],"processes":[121,150],"engage":[124],"in.":[125],"This":[126],"raises":[127],"two":[128],"questions:":[129],"(a)":[130],"to":[132,147,214],"define":[133,148],"suitable":[134],"states":[136,153],"matching":[140],"notions":[141],"knowledge,":[144],"(b)":[145],"natural":[149],"over":[151],"generate":[155],"new":[156],"To":[159],"end,":[161],"use":[163],"base":[166],"from":[167,190],"existing":[169,240],"awareness":[170,218,241],"literature,":[171],"extending":[172],"it":[173],"into":[174],"includes":[179],"traditional":[180],"observation,":[183],"adding":[186],"dropping":[188],"formulas":[189],"current":[192],"\u2018awareness\u2019":[193],"set.":[194],"We":[195],"give":[196],"completeness":[198],"theorem,":[199],"show":[202],"dynamics":[205],"updates":[206],"Then":[209],"extend":[211],"our":[212],"approach":[213],"multi-agent":[215],"scenarios":[216],"where":[217],"changes":[219],"may":[220],"happen":[221],"privately.":[222],"Finally,":[223],"mention":[225],"further":[226],"directions":[227],"related":[229],"approaches.":[230],"Our":[231],"contribution":[232],"can":[233],"\u2018dynamification\u2019":[238]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}