Action concepts for describing organized interaction

Proceedings of the Hawaii International Conference on System Sciences

Volumn 5, Issue , 1997, Pages 373-382

  Santos, Filipe A A ^a   Jones, Andrew J I ^a   Carmo, Jose M C L M ^a  

^a INSTITUTO UNIVERSITÁRIO DE LISBOA ISCTE IUL   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MODAL ANALYSIS;

MODAL LOGIC; ORGANIZED INTERACTION;

FORMAL LOGIC;

EID: 0031389334     PISSN: 10603425     EISSN: None     Source Type: None    
DOI: 10.1109/HICSS.1997.663195     Document Type: Conference Paper

References (27)

1. A. J.I. Jones M. Sergot Formal Specification of Security Requirements using the Theory of Normative Positions Proc. European Symposium on Research in Computer Security (ESORICS'92) 648 103 121 Proc. European Symposium on Research in Computer Security (ESORICS'92) 1992
2. A. J.I. Jones M. Sergot A Formal Characterisation of Institutionalised Power Journal of the IGPL 4 3 427 443 1996
3. H. Tosy Theories of Organization 1984 John Wiley & Sons
4. S. Robbins Organization Theory: Structure, Design, and Applications 1987 Prentice-Hall New Jersey
5. B. Hodge W. Anthony Organization Theory 1988 Allyn and Bacon Inc
6. S. Kanger Deontic Logic: Introductory and Systematic Readings 36 58 1971 D.Reidel Stockholm New Foundations for Ethical Theory
7. S. Kanger Law and Logic Theoria 38 1972
8. I. Pörn The Logic of Power 1970 Blackwell Oxford
9. I. Pörn Action Theory and Social Science: Some Formal Models 1977 Synthese Library 120, D. Reidel Dordrecht
10. I. Pörn Logic Methodology, and Philosophy of Science VIII 553 567 1989 Elsviere On the Nature of Social Order
11. L. Lindahl Position and Change-A Study in Law and Logic 1977 Synthese Library 112, D. Reidel Dordrecht
12. F. Santos J. Carmo Deontic Logic, Agency and Normative Systems Workshops in Computing Series 194 215 1996 Springer Indirect Action, Influence and Responsibility
13. D. Elgesem Action Theory and Modal Logic 1993 University of Oslo
14. D. Harel First-Order Dynamic Logic 68 1979 Springer
15. D. Harel Handbook of Philosophical Logic II 497 604 1984 D, Reidel Dordrecht Dynamic Logic
16. M. Brown J. Carmo Report on the Third International Workshop on Deontic Logic in Computer Science Knowledge Engeneering Review 11 4 Knowledge Engeneering Review 1996
17. S. Kanger and H. Kanger Rights and Parliamentarism Theoria 32 85 115 1966
18. W. Hohfeld Fundamental Legal Conceptions as Applied in Judicial Reasoning and Other Legal Essays 1923 New Haven
19. P. Morris J. McDermid Security and Normative Rights Proc. First International Workshop on Deontic Logic in Computer Science (Deon'91) 294 314 Proc. First International Workshop on Deontic Logic in Computer Science (Deon'91) Amsterdam 1991
20. I. Pörn Elements of Social Analysis, Philosophical Studies 1971 Uppsala Philosophical Society and Department of Philosophy, University of Uppsala
21. B. J. Chellas Modal Logic-An Introduction 1980 Cambridge University Press
22. N. Belnap Backwards and Forwards in the Modal Logic of Agency Philosophy and Phenomenological Research II 4 777 807 1991
23. A. J.I. Jones M. Sergot Deontic Logic in Computer Science: Normative System Specification 275 307 1993 John Wiley & Sons On the Characterisation of Law and Computer Systems: The Normative Systems Perspective
24. Institutional Environments and Organizations-Structural Complexity and Individualism 1994 Sage Publications
25. F. Santos J. Carmo A Modal Action Logic Based Framework for Organization Specification and Analysis Proc. Fifth European Workshop on Logics in AI (JELIA'96) Proc. Fifth European Workshop on Logics in AI (JELIA'96) 1996