Dynamic logic of preference upgrade
From MaRDI portal
Publication:3647268
DOI10.3166/jancl.17.157-182zbMath1186.03034OpenAlexW2048654653MaRDI QIDQ3647268
Fenrong Liu, J. F. A. K. van Benthem
Publication date: 30 November 2009
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3166/jancl.17.157-182
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items
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, A STIT logic for reasoning about social influence, A semantics for hyperintensional belief revision based on information bases, Is Unsaying Polite?, 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, 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, Multi-agent justification logic: communication and evidence elimination, My beliefs about your beliefs: a case study in theory of mind and epistemic logic, Towards a theory of intention revision, An Epistemic Separation Logic, Propositional quantification in logics of contingency, A general framework for dynamic epistemic logic: towards canonical correspondences, Knowledge and Games in Modal Semirings, 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, The dynamics of awareness, The language of social software, Dynamic modal logic with counting: when reduction axioms work and fail, Everything is learnable, once it is settled, Propositional Dynamic Logic as a Logic of Belief Revision, Reflecting on social influence in networks, A history based logic for dynamic preference updates, A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory, A public announcement separation logic, Informational dynamics of epistemic possibility modals, Editorial: Weighted logics for artificial intelligence -- an introductory discussion, PREFERENCE BASED ON REASONS, A new psychologism in logic? Reflections from the point of view of belief revision, Logic and semantics for imperatives, Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic, Epistemic Logic with Evidence and Relevant Alternatives, Talking About Knowledge, Tracking Information, Epistemic GDL: a logic for representing and reasoning about imperfect information games, Unsettling preferential semantics, Toward a dynamic logic of questions, Reasoning about Strategies, Dynamic epistemic logic for implicit and explicit beliefs, What will they say? -- Public announcement games, A two-level perspective on preference, A logic for reasoning about counterfactual emotions, On the dynamics of institutional agreements, Introspection as an action in relational models, Recapturing dynamic logic of relation changers via bounded morphisms, Von Wright's ``The logic of preference revisited, Dynamic preference logic meets iterated belief change: representation results and postulates characterization, Verification of dynamic bisimulation theorems in Coq, Diversity of agents and their interaction, Revising a Labelled Sequent Calculus for Public Announcement Logic, A logic of plausible justifications, Logical dynamics of some speech acts that affect obligations and preferences, Probabilistic dynamic belief revision, DEL Planning and Some Tractable Cases, Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations, Global and Local Graph Modifiers, Two Logical Faces of Belief Revision, Everything else being equal: a modal logic for ceteris paribus preferences, Dynamic logic for belief revision, Dynamic logic of preference upgrade, Dynamic Epistemic Logics, A modal logic of epistemic games, DYNAMIC HYPERINTENSIONAL BELIEF REVISION
Cites Work
- Unnamed Item
- Logics of communication and change
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- Dynamic epistemic logic
- Two modellings for theory change
- Conditional logics of normality: A modal approach
- Changes in preference
- Defaults in update semantics
- A Reduction from DLP to PDL
- Dynamic logic for belief revision
- Dynamic logic of preference upgrade
- The dynamic logic of permission
