4 found
Sort by:
  1. Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt (2004). Interactions Between Knowledge, Action and Commitment Within Agent Dynamic Logic. Studia Logica 78 (3):381 - 415.
    This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (expressing no (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Ullrich Hustadt (2001). Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. [REVIEW] Journal of Logic, Language and Information 10 (3):406-410.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Ullrich Hustadt & Renate A. Schmidt (1999). An Empirical Analysis of Modal Theorem Provers. Journal of Applied Non-Classical Logics 9 (4):479-522.
    ABSTRACT This paper reports on an empirical performance analysis of four modal theorem provers on benchmark suites of randomly generated formulae. The theorem provers tested are the Davis-Putnam-based procedure KSAT, the tableaux-based system KRZIS, the sequent-based Logics Workbench, and a translation approach combined with the first-order theorem prover SPASS. Our benchmark suites are sets of multi-modal formulae in a certain normal form randomly generated according to the scheme of Giunchiglia and Sebastiani [GS 96a, GS 96b]. We investigate the quality of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Hans Jürgen Ohlbach, Renate A. Schmidt & Ullrich Hustadt (1996). Translating Graded Modalities Into Predicate Logic. In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer. 253-291.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation