Extending deontic logic for the formalisation of legal rules

by

Write The First Customer Review

This book is an adaptation of my PhD thesis Representing L3gVI Rules in Deontic Logic [Royakkers, 1996]. The main alterations are: * The addition of chapter 2 concerning the semantics of deontic logic based on valua- tions. In this chapter I extend the Beth tableau method, which is originally developed for the propositional calculus, to also be applicable for deontic logic. For those who are not familiar with deontic logic or with the axiomatic deduction, this method is a useful tool to check whether a formula is valid or ...

Extending Deontic Logic for the Formalisation of Legal Rules 2010, Springer, Dordrecht

ISBN-13: 9789048150083

Paperback

Select
Extending Deontic Logic for the Formalisation of Legal Rules 1998, Springer, Dordrecht, Netherlands

ISBN-13: 9780792349822

1998 edition

Hardcover

Select
Extending deontic logic for the formalisation of legal rules 1998, Kluwer Academic, Dordrecht :: London

ISBN-13: 9780792348566

Select