A history based logic for dynamic preference updates

DOI10.1007/S10849-019-09307-1MaRDI QIDQ2209166zbMATHOpenAlexFDO

Authors Guy McCusker, Can Başkent

Publication date 28 October 2020

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://eprints.mdx.ac.uk/28849/1/history.pdf

zbMATH Keywords

dynamic logicarrow update logicpreference logichistory based modelsproduct update models

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1759391
• A Preference-Based Framework for Updating Logic Programs
• Dynamic logic of preference upgrade
• scientific article; zbMATH DE number 1964816
• Preferred history semantics for iterated updates
• Dynamic preference logic as a logic of belief change
• A preference logic based on various kinds of preferences
• scientific article; zbMATH DE number 1852917
• Dynamically stable preferences

Cites work

• scientific article; zbMATH DE number 1537935 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A course in game theory.
• A knowledge based semantics of messages
• A knowledge-based analysis of the blockchain protocol
• A logic for strategy updates
• A model-theoretic analysis of knowledge
• An epistemic logic of extensive games
• Arrow update logic
• Bisimulations for temporal logic
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Complete axiomatizations for reasoning about knowledge and branching time
• Dynamic Epistemic Logic and Knowledge Puzzles
• Dynamic logic of preference upgrade
• Essentials of game theory. A concise, multidisciplinary introduction.
• Everything else being equal: a modal logic for ceteris paribus preferences
• Games with Incomplete Information Played by “Bayesian” Players, I–III Part I. The Basic Model
• Handbook of epistemic logic
• Handbook of philosophical logic. Vol. 2.
• Logic in games
• Logics of temporal-epistemic actions
• Many-dimensional modal logics: theory and applications
• Mechanizing Mathematical Reasoning
• Merging frameworks for interaction
• Modal logic
• Preference based on reasons
• Some comments on history based structures
• Temporal languages for epistemic programs
• The complexity of reasoning about knowledge and time. I: Lower bounds
• The hierarchical approach to modeling knowledge and common knowledge
• The language of game theory. Putting epistemics into the mathematics of games. With a foreword by Eric S. Maskin
• The logic of knowledge based obligation
• The logic of public announcements, common knowledge, and private suspicions

Cited in

(4)

• Preferred history semantics for iterated updates
• Dynamic logic of preference upgrade
• Conditional preferences and updating.
• Some comments on history based structures

This page was built for publication: A history based logic for dynamic preference updates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2209166)