Extending Deontic Logic for the Formalisation of Legal Rules, Fachbücher von Lambèr Royakkers

"Extending Deontic Logic for the Formalisation of Legal Rules" ist eine umfassende wissenschaftliche Arbeit, die auf der Dissertation von Lambèr Royakkers basiert. Dieses Fachbuch bietet eine tiefgehende Analyse der deontischen Logik und deren Anwendung auf rechtliche Regeln. Es enthält wesentliche Erweiterungen, darunter eine detaillierte Untersuchung der Semantik der deontischen Logik, die durch die Einführung des Beth-Tableau-Methodenansatzes bereichert wird. Diese Methode ermöglicht es, die Gültigkeit von Formeln zu überprüfen, was besonders für Leser von Interesse ist, die mit deontischer Logik oder axiomatischer Deduktion nicht vertraut sind. Darüber hinaus werden neue Konzepte wie das der Verpflichtung und die Unterscheidung zwischen schwacher und starker Erlaubnis eingeführt. Die Überarbeitung des Kapitels zur Logik der Normsetzung, das epistemische Logik und lokale Argumentation integriert, bietet einen innovativen Ansatz zur Darstellung normativer Inkonsistenzen. Das Buch ist somit ein wertvolles Werk für Studierende und Fachleute im Bereich der Rechtswissenschaften und Logik.