Solving legal cases with and without modal logic

Thumbnail Image
Journal Title
Journal ISSN
Volume Title
The research presented in this thesis elaborates on whether modal logic has an advantage over models without modal logic in constructing models for legal cases. There are several kinds of logics that could be used to construct such a model. Within this thesis for the model with modal logic: Standard Deontic Logic (SDL) together with Propositional Deontic Logic (PDeL) is used. For the model without modal logic: a reduction graph representation is used. This thesis starts off with theoretical background on both SDL and PDeL, and the reduction graph representation, where the background for the models used in this thesis is given. Secondly, the models are constructed for two legal cases, the Bourhill v Young case and HI's case. Finally, a comparison is made between the logical models to conclude whether, in the cases used in this thesis, deontic logic is an advantage. From the comparison it can be concluded that, for the cases used in this thesis, using deontic logic is not necessarily an advantage over using the reduction graph representation. This is due to the fact that deontic logic is relatively complex and does not yet deal well with cases that need a subjective approach.
Faculteit der Sociale Wetenschappen