The many faces of counts-as: A formal analysis of constitutive rules

Journal of Applied Logic

Volumn 6, Issue 2, 2008, Pages 192-217

  Grossi, Davide ^a   Meyer, John Jules Ch ^a   Dignum, Frank ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Constitutive rules; Context; Counts as; Institutions; Modal logic

Indexed keywords

CLASSIFICATION (OF INFORMATION); FORMAL LOGIC; MODAL ANALYSIS; SOCIETIES AND INSTITUTIONS;

CONSTITUTIVE RULES; CONTEXTUAL CLASSIFICATION; COUNTS-AS; FORMAL ANALYSIS; MODAL LOGICS;

CONSTITUTIVE EQUATIONS;

EID: 42649114783     PISSN: 15708683     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jal.2007.06.008     Document Type: Article

References (30)

1. Areces C., Blackburn P., and Marx M. The computational complexity of hybrid temporal logics. Logic Journal of the IGPL 8 5 (2000) 653-679
2. Blackburn P., de Rijke M., and Venema Y. Modal Logic (2001), Cambridge University Press, Cambridge
3. Boella G., and van der Torre L. Constitutive norms in the design of normative multiagent systems. In: Toni F., and Torroni P. (Eds). CLIMA VI. LNAI vol. 3900 (2005), Springer-Verlag 303-319
4. Bulygin E. On norms of competence. Law and Philosophy 11 (1992) 201-216
5. Buvač S., Buvač S.V., and Mason I.A. The semantics of propositional contexts. Proceedings of the 8th ISMIS. LNAI vol. 869 (1994), Springer-Verlag 468-477
6. S.V. Buvač, I.A. Mason, Propositional logic of context, in: Proceedings AAAI'93, 1993, pp. 412-419
7. Gargov G., and Goranko V. Modal logic with names. Journal of Philosophical Logics 22 (1993) 607-636
8. Gelati J., Rotolo A., Sartor G., and Governatori G. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artificial Intelligence and Law 12 1-2 (2004) 53-81
9. Ghidini C., and Giunchiglia F. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence 127 2 (2001) 221-259
10. Goldman A.I. A Theory of Human Action (1976), Princeton University Press, Princeton
11. Goranko V., and Passy S. Using the universal modality: Gains and questions. Journal of Logic and Computation 2 1 (1992) 5-30
12. Grossi D., Dignum F., and Meyer J.-J.Ch. Contextual taxonomies. In: Leite J., and Toroni P. (Eds). Post-proceedings of CLIMA V, 5th International Workshop on Computational Logic in Multi-Agent Systems. LNAI vol. 3487 (2005), Springer-Verlag 33-51
13. Grossi D., Dignum F., and Meyer J.-J.Ch. Contextual terminologies. In: Toni F., and Torroni P. (Eds). Post-proceedings of CLIMA VI, 6th International Workshop on Computational Logic in Multi-Agent Systems. LNAI vol. 3900 (2006), Springer-Verlag 284-302
14. Grossi D., Meyer J.-J.Ch., and Dignum F. Counts-as: Classification or constitution? an answer using modal logic. In: Goble L., and Meyer J.-J.Ch. (Eds). Proceedings of DEON 2006. LNAI vol. 4048 (2006), Springer-Verlag 115-130
15. Grossi D., Meyer J.-J.Ch., and Dignum F. Modal logic investigations in the semantics of counts-as. Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL'05) (June 2005), ACM 1-9
16. Grossi D., Meyer J.-J.Ch., and Dignum F. Classificatory aspects of counts-as: An analysis in modal logic. Journal of Logic and Computation 16 5 (2006) 613-643
17. Jones A.J.I., and Sergot M. Deontic logic in the representation of law: towards a methodology. Artificial Intelligence and Law 1 (1992)
18. Jones A.J.I., and Sergot M. A formal characterization of institutionalised power. Journal of the IGPL 3 (1996) 427-443
19. Levesque H.J. All I know: A study in autoepistemic logic. Artificial I ntelligence 42 (1990) 263-309
20. Makinson D. On a fundamental problem of deontic logic. In: McNamara P., and Prakken H. (Eds). Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science. Frontiers in Artificial Intelligence and Applications vol. 49 (1999), IOS Press, Amsterdam 29-53
21. Passy S., and Tinchev T. Pdl with data constants. Information Processing Letters 20 (1985) 35-41
22. Passy S., and Tinchev T. An essay in combinatorial dynamic logic. Information and Computation 93 (1991) 263-332
23. Peczenik A. On Law and Reason (1989), Kluwer, Dordrecht
24. M. Ricciardi, Constitutive rules and institutions, Paper presented at the meeting of the Irish Philosophical Club, Ballymascanlon, February 1997
25. Sartor G. Fundamental legal concepts: A formal and teleological characterization. Artificial Intelligence and Law 14 (2006) 101-142
26. Searle J. Speech Acts. An Essay in the Philosophy of Language (1969), Cambridge University Press, Cambridge
27. Searle J. The Construction of Social Reality (1995), Free Press
28. Stalnaker R. On the representation of context. Journal of Logic, Language, and Information 7 (1998) 3-19
29. Tarski A. The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research 4 3 (1944) 341-376
30. A. Tarski, The establishment of scientific semantics, in: Logic, Semantics, Metamathematics, Hackett, Indianapolis, 1983, pp. 401-408