{"id":"https://openalex.org/W1490723795","doi":"https://doi.org/10.3166/jancl.17.157-182","title":"Dynamic logic of preference upgrade","display_name":"Dynamic logic of preference upgrade","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W1490723795","doi":"https://doi.org/10.3166/jancl.17.157-182","mag":"1490723795"},"language":"en","primary_location":{"id":"doi:10.3166/jancl.17.157-182","is_oa":false,"landing_page_url":"https://doi.org/10.3166/jancl.17.157-182","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/A5109065573","display_name":"J.F.A.K. van Benthem","orcid":null},"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":true,"raw_author_name":"Johan van Benthem","raw_affiliation_strings":["Institute for Logic, Language and Computation (ILLC) , University of Amsterdam , Netherlands ; Department of Philosophy , Stanford University , USA"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC) , University of Amsterdam , Netherlands ; Department of Philosophy , Stanford University , USA","institution_ids":["https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020443745","display_name":"Feiou Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I114218197","display_name":"Chinese Academy of Social Sciences","ror":"https://ror.org/05bxbmy32","country_code":"CN","type":"facility","lineage":["https://openalex.org/I114218197"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fenrong Liu","raw_affiliation_strings":["Institute for Logic, Language and Computation (ILLC) , University of Amsterdam , Netherlands ; Institute of Philosophy , Chinese Academy of Social Sciences , China"],"affiliations":[{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC) , University of Amsterdam , Netherlands ; Institute of Philosophy , Chinese Academy of Social Sciences , China","institution_ids":["https://openalex.org/I114218197"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109065573"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":null,"apc_paid":null,"fwci":3.7653,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.92656535,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"17","issue":"2","first_page":"157","last_page":"182"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.724399983882904,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.724399983882904,"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.633899986743927,"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/upgrade","display_name":"Upgrade","score":0.8032041192054749},{"id":"https://openalex.org/keywords/preference","display_name":"Preference","score":0.5488297939300537},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3762229084968567},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34043657779693604},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30522772669792175},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.11784589290618896},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.06741547584533691}],"concepts":[{"id":"https://openalex.org/C2780615140","wikidata":"https://www.wikidata.org/wiki/Q920419","display_name":"Upgrade","level":2,"score":0.8032041192054749},{"id":"https://openalex.org/C2781249084","wikidata":"https://www.wikidata.org/wiki/Q908656","display_name":"Preference","level":2,"score":0.5488297939300537},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3762229084968567},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34043657779693604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30522772669792175},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.11784589290618896},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.06741547584533691}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.3166/jancl.17.157-182","is_oa":false,"landing_page_url":"https://doi.org/10.3166/jancl.17.157-182","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"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/d399d40e-49e1-4e0f-8829-88281bfa9f6f","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/dynamic-logic-of-preference-upgrade(d399d40e-49e1-4e0f-8829-88281bfa9f6f).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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van Benthem, J F A K & Liu, F 2007, 'Dynamic Logic of Preference Upgrade', Journal of Applied Non-Classical Logics, vol. 17, no. 2, pp. 157-182.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.130.120","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.120","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.phil.pku.edu.cn/cllc/archive/references/dlpu-liu.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.77.3368","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.3368","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/ResearchReports/PP-2005-29.text.pdf","raw_type":"text"},{"id":"pmh:oai:dare.uva.nl:openaire_cris_publications/6c94fa70-7f57-4e7d-8d77-c96901145259","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/dynamic-logic-of-preference-upgrade(6c94fa70-7f57-4e7d-8d77-c96901145259).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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Benthem, J F A K & Liu, F 2005 'Dynamic Logic of Preference Upgrade' Technical Reports, no. PP-2005-29, Amsterdam.","raw_type":"info:eu-repo/semantics/workingPaper"},{"id":"pmh:oai:dare.uva.nl:publications/d399d40e-49e1-4e0f-8829-88281bfa9f6f","is_oa":false,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/dynamic-logic-of-preference-upgrade(d399d40e-49e1-4e0f-8829-88281bfa9f6f).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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Benthem, J F A K & Liu, F 2007, 'Dynamic Logic of Preference Upgrade', Journal of Applied Non-Classical Logics, vol. 17, no. 2, pp. 157-182.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:uvapub:oai:dare.uva.nl:publications/6c94fa70-7f57-4e7d-8d77-c96901145259","is_oa":false,"landing_page_url":"https://dare.uva.nl/personal/pure/en/publications/dynamic-logic-of-preference-upgrade(6c94fa70-7f57-4e7d-8d77-c96901145259).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/workingpaper"},{"id":"mag:1490723795","is_oa":false,"landing_page_url":"https://www.narcis.nl/publication/RecordID/oai%3Adare.uva.nl%3Apublications%2F6c94fa70-7f57-4e7d-8d77-c96901145259","pdf_url":null,"source":{"id":"https://openalex.org/S2764971123","display_name":"Technical reports","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Technical reports","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1971470961","https://openalex.org/W1973052685","https://openalex.org/W1992913381","https://openalex.org/W2003192160","https://openalex.org/W2021916230","https://openalex.org/W2042541021","https://openalex.org/W2055566602","https://openalex.org/W2089822569","https://openalex.org/W2111398557","https://openalex.org/W2121243963","https://openalex.org/W2149381381","https://openalex.org/W2159131252","https://openalex.org/W2167501322","https://openalex.org/W2401227505","https://openalex.org/W3140030144","https://openalex.org/W4211144022","https://openalex.org/W4213255959","https://openalex.org/W4239007999","https://openalex.org/W4302992888","https://openalex.org/W4388218763"],"related_works":["https://openalex.org/W1973052685","https://openalex.org/W1518725080","https://openalex.org/W1501761520","https://openalex.org/W3127054829","https://openalex.org/W2149420462","https://openalex.org/W2120613606","https://openalex.org/W2111398557","https://openalex.org/W2031477175","https://openalex.org/W1988804687","https://openalex.org/W3127745404","https://openalex.org/W2336123333","https://openalex.org/W2146819619","https://openalex.org/W2067483357","https://openalex.org/W2058814709","https://openalex.org/W2004865763","https://openalex.org/W1600977351","https://openalex.org/W1594099509","https://openalex.org/W1497616999","https://openalex.org/W47323645","https://openalex.org/W2147194283"],"abstract_inverted_index":{"Statements":[0],"not":[1],"only":[2],"update":[3,35,76],"our":[4,19,97],"current":[5,24],"knowledge,":[6],"but":[7],"also":[8,72],"have":[9],"other":[10],"dynamic":[11,98],"effects.":[12],"In":[13],"particular,":[14],"suggestions":[15],"or":[16,53],"commands":[17],"\u2018upgrade'":[18],"preferences":[20,79],"by":[21],"changing":[22,49],"the":[23],"order":[25],"among":[26],"worlds.":[27,85],"We":[28,55,94],"present":[29],"a":[30,74,104],"complete":[31],"logic":[32],"of":[33,70],"knowledge":[34],"plus":[36],"preference":[37],"upgrade":[38],"that":[39,96],"works":[40],"with":[41,78],"dynamic-epistemic-style":[42],"reduction":[43,61],"axioms.":[44],"This":[45,68],"system":[46],"can":[47],"model":[48],"obligations,":[50],"conflicting":[51],"commands,":[52],"\u2018regret'.":[54],"then":[56],"show":[57],"how":[58],"to":[59,107],"derive":[60],"axioms":[62],"from":[63],"arbitrary":[64],"definable":[65],"relation":[66],"changes.":[67],"style":[69],"analysis":[71],"has":[73],"product":[75],"version":[77],"between":[80],"actions,":[81],"as":[82,84],"well":[83],"Some":[86],"illustrations":[87],"are":[88],"presented":[89],"involving":[90],"defaults":[91],"and":[92],"obligations.":[93],"conclude":[95],"framework":[99],"is":[100],"viable,":[101],"while":[102],"admitting":[103],"further":[105],"extension":[106],"more":[108],"numerical":[109],"\u2018utility":[110],"update'.":[111]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-16T09:10:04.655348","created_date":"2025-10-10T00:00:00"}