{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:53Z","timestamp":1725664793512},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:09:38Z","timestamp":1330276178000},"page":"119-133","source":"Crossref","is-referenced-by-count":1,"title":["A modal action logic based framework for organization specification and analysis"],"prefix":"10.1007","author":[{"given":"Filipe","family":"Santos","sequence":"first","affiliation":[]},{"given":"Jos\u00e9","family":"Carmo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"8_CR1","unstructured":"Skarmeas, N.: Modeling Organizations using Roles and Agents. In: Proc. 5th Hellenic Conference on Informatics, Athens (1995)"},{"key":"8_CR2","unstructured":"Normatics: the characterization of computer systems and complex organizations as normative systems, ESPRIT III BRA proposal (1991)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Jones, A., Sergot, M.: Formal Specification of Security Requirements using the Theory of Normative Positions. In: Proc. European Symposium on Research in Computer Security (ESORICS'92), LNCS 648, Springer (1992) 103\u2013121","DOI":"10.1007\/BFb0013894"},{"key":"8_CR4","unstructured":"Jones, A., Sergot, M.: A formal characterization of Institutionalized Power. Journal of the IGPL (to appear)"},{"key":"8_CR5","unstructured":"Santos, F., Carmo, J.: Indirect Action, Influence and Responsibility. In: Brown M, Carmo J (eds). Deontic Logic, Agency and Normative Systems. Springer, Workshops in Computing Series (1996) 194\u2013215"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of philosophical logic II","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic logic. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic II. D. Reidel, Dordrecht (1984) 497\u2013604"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J. C. Meyer","year":"1988","unstructured":"Meyer, J.-J. Ch.: A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic. Notre Dame Journal of Formal Logic 29 (1988) 109\u2013136","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"8_CR8","unstructured":"Chellas, B.: The logical form of imperatives. Perry Lane Press (1969)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Kanger, S.: Law and logic. Theoria 38 (1972)","DOI":"10.1111\/j.1755-2567.1972.tb00928.x"},{"key":"8_CR10","volume-title":"The logic of power","author":"I. P\u00f6rn","year":"1970","unstructured":"P\u00f6rn, I.: The logic of power. Blackwell, Oxford (1970)"},{"key":"8_CR11","volume-title":"Synthese Library 120","author":"I. P\u00f6rn","year":"1977","unstructured":"P\u00f6rn, I.: Action theory and social science: some formal models. Synthese Library 120, D. Reidel, Dordrecht (1977)"},{"key":"8_CR12","volume-title":"Synthese Library 112","author":"L. Lindahl","year":"1977","unstructured":"Lindahl, L.: Position and change \u2014 a study in law and logic. Synthese Library 112, D. Reidel, Dordrecht (1977)"},{"key":"8_CR13","first-page":"777","volume":"2","author":"N. Belnap","year":"1989","unstructured":"Belnap, N.: Backwards and forwards in the modal logic of agency. Philosophy and Phenomenological Research 2 (1989) 777\u2013807","journal-title":"Philosophy and Phenomenological Research"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF01531260","volume":"9","author":"N. Belnap","year":"1993","unstructured":"Belnap, N., Perloff, M.: In the realm of agents. Annals of Mathematics and Artificial Intelligence 9 (1993) 25\u201348","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"8_CR15","unstructured":"Elgesem, D.: Action theory and modal logic. PhD thesis, Dept. of Philosophy, University of Oslo (1993)"},{"issue":"4","key":"8_CR16","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/BF00262940","volume":"18","author":"K. Segerberg","year":"1989","unstructured":"Segerberg, K.: Bringing it about. Journal of Philosophical Logic 18(4) (1989) 327\u2013347","journal-title":"Journal of Philosophical Logic"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Chellas, B.: Modal logic \u2014 an introduction. Cambridge University Press (1980)","DOI":"10.1017\/CBO9780511621192"},{"volume-title":"Deontic logic: introductory and systematic readings","year":"1971","key":"8_CR18","unstructured":"Hilpinen, R. (ed): Deontic logic: introductory and systematic readings. D. Reidel, Dordrecht (1971)"},{"volume-title":"New Studies in Deontic Logic","year":"1981","key":"8_CR19","unstructured":"Hilpinen, R. (ed): New Studies in Deontic Logic. D. Reidel, Dordrecht, 1981"},{"key":"8_CR20","unstructured":"Meyer J-J Ch, Wieringa R (eds). Proc. first international workshop on deontic logic in computer science (DEON'91). Amsterdam (1991)"},{"volume-title":"Complex 1\/94","year":"1994","key":"8_CR21","unstructured":"Jones, A., Sergot, M. (eds): Proc. second international workshop on deontic logic in computer science (DEON'94). Complex 1\/94, NRCCL, Oslo (1994)"},{"key":"8_CR22","series-title":"Workshops in Computing Series","volume-title":"Deontic Logic, Agency and Normative Systems","year":"1996","unstructured":"Brown, M., Carmo, J. (eds): Deontic Logic, Agency and Normative Systems. Springer, Workshops in Computing Series, Sesimbra (1996)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer-Verlag (1990)","DOI":"10.1007\/978-1-4684-0357-2"},{"key":"8_CR24","unstructured":"Tan, Y., Torre, L.: Representing Deontic reasoning in a Diagnostic Framework. In: Proc. Workshop on Legal Applications of Logic Programming (ICLP'94), Genova (1994)"},{"key":"8_CR25","unstructured":"Ramos, P., Fiadeiro, J.: Diagnosis in Organizational Process Design. (submitted for publication)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:08:58Z","timestamp":1605629338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}