Dynamic logic of preference upgrade
From MaRDI portal
Recommendations
Cites work
- A Reduction from DLP to PDL
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- Changes in preference
- Conditional logics of normality: A modal approach
- Defaults in update semantics
- Dynamic epistemic logic
- Dynamic logic for belief revision
- Dynamic logic of preference upgrade
- Logics of communication and change
- The dynamic logic of permission
- The structure of values and norms
- Two modellings for theory change
Cited in
(85)- Conditional preferences and updating.
- Revising a labelled sequent calculus for public announcement logic
- Unsettling preferential semantics
- Verification of dynamic bisimulation theorems in Coq
- The dynamics of awareness
- From self-regarding to other-regarding agents in strategic games: a logical analysis
- A public announcement separation logic
- Dynamic hyperintensional belief revision
- Dynamic modal logic with counting: when reduction axioms work and fail
- Preference based on reasons
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5}
- A semantics for hyperintensional belief revision based on information bases
- My beliefs about your beliefs: a case study in theory of mind and epistemic logic
- Everything is learnable, once it is settled
- Propositional quantification in logics of contingency
- Everything else being equal: a modal logic for ceteris paribus preferences
- Preference dynamics in games with short sight
- Question-answer games
- A general framework for modal correspondence in dynamic epistemic logic
- On the dynamics of institutional agreements
- Introspection as an action in relational models
- Propositional Dynamic Logic as a Logic of Belief Revision
- A two-level perspective on preference
- To be announced
- Dynamic epistemic logic for implicit and explicit beliefs
- A general framework for dynamic epistemic logic: towards canonical correspondences
- Recapturing dynamic logic of relation changers via bounded morphisms
- A STIT logic for reasoning about social influence
- Diversity of agents and their interaction
- Dynamic epistemic logics
- Formalization of cognitive-agent systems, trust, and emotions
- Communication pattern logic: epistemic and topological views
- scientific article; zbMATH DE number 1759388 (Why is no real title available?)
- Probabilistic dynamic belief revision
- A Qualitative Theory of Cognitive Attitudes and their Change
- A logic for reasoning about counterfactual emotions
- DEL planning and some tractable cases
- A logic for repair and state recovery in Byzantine fault-tolerant multi-agent systems
- Sabotage modal logic: some model and proof theoretic aspects
- A logic for desire based on causal inference
- How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation
- Situated epistemic updates
- Reasoning about strategies
- Dynamic preference logic meets iterated belief change: representation results and postulates characterization
- The logical development of pretense imagination
- A logic of plausible justifications
- On inverse operators in dynamic epistemic logic
- A relational framework for preference change
- A modal logic of epistemic games
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- Logical dynamics of some speech acts that affect obligations and preferences
- The language of social software
- Knowledge and Games in Modal Semirings
- An epistemic separation logic
- Decision procedures for a deontic logic modeling temporal inheritance of obligations
- Logic and semantics for imperatives
- Epistemic GDL: a logic for representing and reasoning about imperfect information games
- What will they say? -- Public announcement games
- Informational dynamics of epistemic possibility modals
- A hybrid multi-modal logic for context-dependent preferences
- Toward a dynamic logic of questions
- Logics of rational interaction
- Towards a theory of intention revision
- Dynamic logic for belief revision
- Reflecting on social influence in networks
- A history based logic for dynamic preference updates
- Modern faces of filtration
- A new psychologism in logic? Reflections from the point of view of belief revision
- Topic-based communication between agents
- Global and local graph modifiers
- Belief update as social choice
- An epistemic separation logic with action models
- Multi-agent justification logic: communication and evidence elimination
- Von Wright's ``The logic of preference revisited
- A Note on Reliability-Based Preference Dynamics
- Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic
- Is unsaying polite?
- Epistemic logic with evidence and relevant alternatives
- Dynamic logic of preference upgrade
- Knowledge, time, and paradox: introducing sequential epistemic logic
- Talking about knowledge
- Informational dynamics of ``might assertions
- Two logical faces of belief revision
- Tracking information
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory
This page was built for publication: Dynamic logic of preference upgrade
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647268)
