Pages that link to "Item:Q3647268"

The following pages link to Dynamic logic of preference upgrade (Q3647268):

Displaying 26 items.

• Sabotage Modal Logic: Some Model and Proof Theoretic Aspects (Q3457681) (← links)
• A Note on Reliability-Based Preference Dynamics (Q3457697) (← links)
• Informational Dynamics of ‘Might’ Assertions (Q3457698) (← links)
• A General Framework for Modal Correspondence in Dynamic Epistemic Logic (Q3457711) (← links)
• Knowledge and Games in Modal Semirings (Q3498424) (← links)
• Propositional Dynamic Logic as a Logic of Belief Revision (Q3511454) (← links)
• Dynamic logic for belief revision (Q3647267) (← links)
• Dynamic logic of preference upgrade (Q3647268) (← links)
• Propositional quantification in logics of contingency (Q4586155) (← links)
• A general framework for dynamic epistemic logic: towards canonical correspondences (Q4586222) (← links)
• Reasoning about Strategies (Q4922091) (← links)
• Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations (Q4982115) (← links)
• Global and Local Graph Modifiers (Q4982127) (← links)
• Two Logical Faces of Belief Revision (Q4982661) (← links)
• DYNAMIC HYPERINTENSIONAL BELIEF REVISION (Q5024508) (← links)
• Revising a Labelled Sequent Calculus for Public Announcement Logic (Q5213671) (← links)
• Dynamic Epistemic Logics (Q5249670) (← links)
• A public announcement separation logic (Q5377700) (← links)
• PREFERENCE BASED ON REASONS (Q5389590) (← links)
• To be announced (Q6040661) (← links)
• Communication pattern logic: epistemic and topological views (Q6054065) (← links)
• A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
• An epistemic separation logic with action models (Q6117141) (← links)
• Everything is learnable, once it is settled (Q6142509) (← links)
• Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)
• Formalization of cognitive-agent systems, trust, and emotions (Q6602234) (← links)