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