Stock image for illustration purposes only - book cover, edition or condition may vary.
Extending Deontic Logic for the Formalisation of Legal Rules
Lamber Royakkers
€ 191.15
FREE Delivery in Ireland
Description for Extending Deontic Logic for the Formalisation of Legal Rules
Paperback. Series: Law and Philosophy Library. Num Pages: 191 pages, 1 black & white illustrations, biography. BIC Classification: HPL; LAB; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 11. Weight in Grams: 297.
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 not. * The addition of the notion of commitment in chapter ... Read more
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 not. * The addition of the notion of commitment in chapter ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Netherlands
Number of pages
191
Condition
New
Series
Law and Philosophy Library
Number of Pages
191
Place of Publication
Dordrecht, Netherlands
ISBN
9789048150083
SKU
V9789048150083
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Extending Deontic Logic for the Formalisation of Legal Rules