Research Commons
      • Browse 
        • Communities & Collections
        • Titles
        • Authors
        • By Issue Date
        • Subjects
        • Types
        • Series
      • Help 
        • About
        • Collection Policy
        • OA Mandate Guidelines
        • Guidelines FAQ
        • Contact Us
      • My Account 
        • Sign In
        • Register
      View Item 
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1995 Working Papers
      • View Item
      •   Research Commons
      • University of Waikato Research
      • Computing and Mathematical Sciences
      • Computer Science Working Paper Series
      • 1995 Working Papers
      • View Item
      JavaScript is disabled for your browser. Some features of this site may not work without it.

      A logic for specifying and reasoning about cooperative environments

      Reeves, Steve
      Thumbnail
      Files
      uow-cs-wp-1995-27.pdf
      1.702Mb
      Find in your library  
      Citation
      Export citation
      Reeves, S. (1995). A logic for specifying and reasoning about cooperative environments. (Working paper 95/27). Hamilton, New Zealand: University of Waikato, Department of Computer Science.
      Permanent Research Commons link: https://hdl.handle.net/10289/1104
      Abstract
      In this paper we describe the current progress of an attempt to develop a logic which will allow us to specify required properties of systems which typically consist of a single interactive program being used, probably simultaneously, by several agents, usually people. The logic is a development of ideas from modal logic and their more recent developments to describe computation. Since modal logic (and its extensions) are still relatively new to most people we give introductions to these logics in this paper, assuming only a familiarity with classical first-order logic and some proof theory. We also give an account of some of the sorts of situations that we want to specify. Finally, we consider what work will be needed in the future, building on what we present here, in order to achieve our goal of providing a language in which to specify and reason about systems intended to support co-operative working.
      Date
      1995-08
      Type
      Working Paper
      Series
      Computer Science Working Papers
      Report No.
      95/27
      Publisher
      University of Waikato, Department of Computer Science
      Collections
      • 1995 Working Papers [32]
      Show full item record  

      Usage

      Downloads, last 12 months
      57
       
       

      Usage Statistics

      For this itemFor all of Research Commons

      The University of Waikato - Te Whare Wānanga o WaikatoFeedback and RequestsCopyright and Legal Statement