Counts-as: Classification or constitution? An answer using modal logic

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

Volumn 4048 LNAI, Issue , 2006, Pages 115-130

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

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; SEMANTICS;

CONSTITUTIVE READINGS; DISENTANGLES; MODAL LOGIC;

FORMAL LOGIC;

EID: 33746366230     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11786849_11     Document Type: Conference Paper

References (22)

1. G. Boella and L. van der Torre. Attributing mental attitudes to normative systems. In Proceedings of AAMAS '03, pages 942-943, New York, NY, USA, 2003. ACM Press.
2. E. Bulygin. On norms of competence. Law and Philosophy 11, pages 201-216, 1992.
3. S. Buvač, S. V. Buvač, and I. A. Mason. The semantics of propositional contexts. Proceedings of the 8th ISMIS. LNAI-869, pages 468-477, 1994.
4. S. V. Buvač and I. A. Mason. Propositional logic of context. Proceedings AAAI'93, pages 412-419, 1993.
5. D.M. Gabbay, A. Kurucz, F. Wolter, and M. Zakharyaschev. Many-dimensional modal logics. Theory and applications. Elsevier, 2003.
6. J. Gelati, A. Rotolo, G. Sartor, and G. Governatori. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artificial Intelligence and Law, 12(1-2):53-81, 2004.
7. C. Ghidini and F. Giunchiglia. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259, 2001.
8. D. Grossi, H. Aldewereld, J. Vazquez-Salceda, and F. Dignum. Ontological aspects of the implementation of norms in agent-based electronic institutions. In Proceedings of NorMAS'05., pages 104-116, Hatfield, England, April 2005. AISB.
9. D. Grossi, F. Dignum, and J-J. Ch. Meyer. Contextual taxonomies. In J. Leite and P. Toroni, editors, Post-proceedings of CLIMA V, LNAI 3487, pages 33-51. Springer-Verlag, 2005.
10. D. Grossi, F. Dignum, and J-J. Ch. Meyer. Contextual terminologies. In F. Toni and P. Torroni, editors, Post-proceedings of CLIMA VI, LNAI 3900, pages 284-302. Springer-Verlag, 2006.
11. D. Grossi, J-J. Ch. Meyer, and F. Dignum. Modal logic investigations in the semantics of counts-as. In Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL'05), pages 1-9. ACM, June 2005.
12. D. Grossi, J-J. Ch. Meyer, and F. Dignum. Classificatory aspects of counts-as: An analysis in modal logic. Under submission, 2006.
13. A. J. I. Jones and M. Sergot. Deontic logic in the representation of law: towards a methodology. Artificial Intelligence and Law 1, 1992.
14. A. J. I. Jones and M. Sergot. A formal characterization of institutionalised power. Journal of the IGPL, 3:427-443, 1996.
15. H. J. Levesque. All i know: A study in autoepistemic logic. Artificial Intelligence, (42):263-309, 1990.
16. D. Makinson. On a fundamental problem of deontic logic. In P. McNamara and H. Prakken, editors, Norms, Logics and Information Systems. New Studies in Deontic Logic and Computer Science, pages 29-53. IOS Press, Amsterdam, 1999.
17. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1995.
18. A. Peczenik. On Law and Reason, Kluwer, Dordrecht, 1989.
19. J. Searle. Speech Acts. Cambridge University Press, Cambridge, 1986.
20. J. Searle. The Construction of Social Reality. Free Press, 1995.
21. B. Smith. Fiat objects. Topoi, 2(20):131-148, 2001
22. R. Stalnaker. On the representation of context. In Journal of Logic, Language, and Information, volume 7, pages 3-19. Kluwer, 1998.