Switch to: References

Add citations

You must login to add citations.
  1. The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
    The situation calculus is one of the most established formalisms for reasoning about action and change. In this paper we will review the basics of Reiter’s version of the situation calculus, show how knowledge and time have been addressed in this framework, and point to some of the weaknesses of the situation calculus with respect to time. We then present a modal version of the situation calculus where these problems can be overcome with relative ease and without sacrificing the advantages (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Logic For Reasoning About Responsibility.Tiago de Lima, Lambér Royakkers & Frank Dignum - 2010 - Logic Journal of the IGPL 18 (1):99-117.
    One way to allocate tasks to agents is by ascribing them obligations. From obligations to be, agents are able to infer what are the forbidden, permitted and obligatory actions they may perform, by using the well-known Meyer’s reduction from obligations to be to obligations to do. However, we show through an example that this method is not completely adequate to guide agents’ decisions. We then propose a solution using, instead of obligations, the concept of ‘responsibility’. To formalise responsibility we use (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Comments to 'Logics of Public Communications'.Hans P. van Ditmarsch - 2007 - Synthese 158 (2):181-187.
    Take your average publication on the dynamics of knowledge. In one of its first paragraphs you will probably encounter a phrase like “a logic of public announcements was first proposed by Plaza in 1989 (Plaza 1989).” Tracking down this publication seems easy, because googling its title ‘Logics of Public Communications’ takes you straight to Jan Plaza’s website where it is online available in the author’s own version, including, on that page, very helpful and full bibliographic references to the proceedings in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation