1. Dongmo Zhang & Michael Thielscher (forthcoming). Representing and Reasoning About Game Strategies. Journal of Philosophical Logic:1-34.
    As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics of the language is provided by a standard state-transition model. As such, problems that require reasoning about games can be solved by the (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Dongmo Zhang & Norman Foo (2005). Frame Problem in Dynamic Logic. Journal of Applied Non-Classical Logics 15 (2):215-239.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
    This paper extends the AGM theory of belief revision to accommodate infinitary belief change. We generalize both axiomatization and modeling of the AGM theory. We show that most properties of the AGM belief change operations are preserved by the generalized operations whereas the infinitary belief change operations have their special properties. We prove that the extended axiomatic system for the generalized belief change operators with a Limit Postulate properly specifies infinite belief change. This framework provides a basis for first-order belief (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation