Title :
The dynamic logic of permission
Author :
Van Der Meyden, R.
Author_Institution :
Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ
Abstract :
Intelligent legal information systems require the ability to represent two different notions of permission, one of which, free choice permission, cannot be adequately represented in standard modal logics. A logic that handles this modality by using ideas from dynamic logic is defined. The main result is the completeness of an axiomatization of the logic
Keywords :
formal logic; axiomatization; completeness; dynamic logic of permission; free choice permission; intelligent legal information systems; modality; Computer science; Contracts; Information systems; Intelligent systems; Knowledge based systems; Law; Legal factors; Logic design; Permission; Postal services;
Conference_Titel :
Logic in Computer Science, 1990. LICS '90, Proceedings., Fifth Annual IEEE Symposium on e
Conference_Location :
Philadelphia, PA
Print_ISBN :
0-8186-2073-0
DOI :
10.1109/LICS.1990.113735
