A logic of capabilities

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 813 LNCS, Issue , 1994, Pages 366-378

  van der Hoek, W ^a   van Linder, B ^a   Meyer, J J Ch ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

RATIONAL AGENTS; SOUND AND COMPLETE;

SEMANTICS;

EID: 84976245362     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58140-5_34     Document Type: Conference Paper

References (20)

1. J. van Benthem. Correspondence theory. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, chapter 4, pages 167–247. D. Reidel, Dordrecht, 1984.
2. N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 243–320. Elsevier, 1990.
3. M. Fischer and R. Ladner. The propositional dynamic logic of regular programs. Journal of Computer and System Sciences, 18:194–211, 1979.
4. R. Goldblatt. Axiomatising the Logic of Computer Programming, volume 130 of Lecture Notes in Computer Science. Springer-Verlag, 1982.
5. R. Goldblatt. Logics of Time and Computation, volume 7 of CSLI Lecture Notes. CSLI, Stanford, 1992. Second edition.
6. D. Harel. Dynamic logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 2, chapter 10, pages 497–604. D. Reidel, Dordrecht, 1984.
7. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. A logic of capabilities. Technical Report IR-330, Vrije Universiteit Amsterdam, July 1993.
8. W. van der Hoek, B. van Linder, and J.-J. Ch. Meyer. Unravelling nondeterminism: On having the ability to choose. Technical Report RUU-CS-93-30, Utrecht University, September 1993.
9. J.Y. Halpern and Y.O. Moses. A guide to the modal logics of knowledge and belief. In Proc. 9th IJCAI, pages 480–490, 1985.
10. J. Halpern and J. Reif. The propositional dynamic logic of deterministic, well-structured programs. Theoretical Computer Science, 27:127–165, 1983.
11. Anthony Kenny. Will, Freedom and Power. Basil Blackwell, Oxford, 1975.
12. D. Kozen and J. Tiuryn. Logics of programs. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 789–840. Elsevier, 1990.
13. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. How to act in case of incomplete information (working title). Manuscript, 1994.
14. B. van Linder, W. van der Hoek, and J.-J. Ch. Meyer. Tests as epistemic updates: Pursuit of knowledge. Technical Report UU-CS-1994-08, Utrecht University, January 1994.
15. J.-J. Ch. Meyer and W. van der Hoek. Epistemic logic for AI and computer science. Manuscript.
16. R.C. Moore. Reasoning about knowledge and action. Technical Report 191, SRI International, 1980.
17. R.C. Moore. A formal theory of knowledge and action. Technical Report 320, SRI International, 1984.
18. H.A. Partsch. Specification and Transformation of Programs. Springer Verlag, 1990.
19. S.R. Thomas. PLACA, An Agent Oriented Programming Language. PhD thesis, Department of Computer Science, Stanford University, Stanford, California 94305, September 1993. Appeared as technical report STAN-CS-93-1487.
20. Georg Henrik von Wright. Norm and Action. Routledge & Kegan Paul, London, 1963.