Switch to: References

Add citations

You must login to add citations.
  1. Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
    We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consists of definable update rules for changing plausibility relations between worlds, which have been proposed independently in the dynamic-epistemic literature on preference change. Our analysis yields two new types of modal result. First, we obtain complete logics for concrete mechanisms of belief revision, based on compositional reduction axioms. Next, we show how various abstract postulates for (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   172 citations  
  • Hybrid logic with the difference modality for generalisations of graphs.Robert S. R. Myers & Dirk Pattinson - 2010 - Journal of Applied Logic 8 (4):441-458.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Conditional Logic is Complete for Convexity in the Plane.Johannes Marti - 2023 - Review of Symbolic Logic 16 (2):529-552.
    We prove completeness of preferential conditional logic with respect to convexity over finite sets of points in the Euclidean plane. A conditional is defined to be true in a finite set of points if all extreme points of the set interpreting the antecedent satisfy the consequent. Equivalently, a conditional is true if the antecedent is contained in the convex hull of the points that satisfy both the antecedent and consequent. Our result is then that every consistent formula without nested conditionals (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Preference logic, conditionals and solution concepts in games.Johan van Benthem - unknown
    Preference is a basic notion in human behaviour, underlying such varied phenomena as individual rationality in the philosophy of action and game theory, obligations in deontic logic (we should aim for the best of all possible worlds), or collective decisions in social choice theory. Also, in a more abstract sense, preference orderings are used in conditional logic or non-monotonic reasoning as a way of arranging worlds into more or less plausible ones. The field of preference logic (cf. Hansson [10]) studies (...)
     
    Export citation  
     
    Bookmark   25 citations