๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On a principle of contradiction in normative logic and jurisprudence

โœ Scribed by Bernhard Schlink

Publisher
Springer US
Year
1971
Tongue
English
Weight
784 KB
Volume
2
Category
Article
ISSN
0040-5833

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On obligations and normative ability: To
On obligations and normative ability: Towards a logical analysis of the social contract
โœ Michael Wooldridge; Wiebe van der Hoek ๐Ÿ“‚ Article ๐Ÿ“… 2005 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 385 KB

We develop a logic of normative ability, as an extension to the Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman. While conventional ATL contains cooperation modalities of the form C ฯ•, intended to express the fact that coalition C have the capability to bring about ฯ•, in Norm