4 found
Order:
  1.  26
    Interactions Between Knowledge, Action and Commitment Within Agent Dynamic Logic.Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt - 2004 - 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)  
     
    Export citation  
     
    My bibliography  
  2.  14
    An Empirical Analysis of Modal Theorem Provers.Ullrich Hustadt & Renate A. Schmidt - 1999 - 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)  
     
    Export citation  
     
    My bibliography  
  3.  19
    Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger. [REVIEW]Ullrich Hustadt - 2001 - Journal of Logic, Language and Information 10 (3):406-410.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  4. Translating Graded Modalities Into Predicate Logic.Hans Jürgen Ohlbach, Renate A. Schmidt & Ullrich Hustadt - 1996 - In H. Wansing (ed.), Proof Theory of Modal Logic. Kluwer Academic Publishers. pp. 253-291.
    Direct download  
     
    Export citation  
     
    My bibliography