Reliability-based preference dynamics: lexicographic upgrade

Velázquez–Quesada, Fernando R.

doi:10.1093/logcom/exx019

Cited by 9 publications

(1 citation statement)

References 68 publications

(75 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…One can deal with specific awareness properties (e.g., awareness introspection) by specifying not only the properties of the awareness sets but also their interaction with the accessibility relations. One can also look at dynamics of awareness in the dynamic epistemic logic style (DEL; [6,17,9,7]), defining model-changing actions for representing acts of awareness elicitation or forgetting [11,38,15,21].…”

Section: Introductionmentioning

confidence: 99%

An Abstract Look at Awareness Models and Their Dynamics

Proietti¹,

Velázquez–Quesada

Yuste-Ginel

2023

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

This work builds upon a well-established research tradition on modal logics of awareness. One of its aims is to export tools and techniques to other areas within modal logic. To this end, we illustrate a number of significant bridges with abstract argumentation, justification logics, the epistemic logic of knowing-what and deontic logic, where basic notions and definitional concepts can be expressed in terms of the awareness operator combined with the ✷ modality. Furthermore, these conceptual links point to interesting properties of awareness sets beyond those standardly assumed in awareness logics -i.e. positive and negative introspection. We show that the properties we list are characterised by corresponding canonical formulas, so as to obtain a series of off-the-shelf axiomatisations for them. As a second focus, we investigate the general dynamics of this framework by means of event models. Of specific interest in this context is to know under which conditions, given a model that satisfies some property, the update with an event model keeps it within the intended class. This is known as the closure problem in general dynamic epistemic logics. As a main contribution, we prove a number of closure theorems providing sufficient conditions for the preservation of our properties. Again, these results enable us to axiomatize our dynamic logics by means of reduction axioms.

show abstract