𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Towards Non-Being - The Logic and Metaphysics of Intentionality

✍ Scribed by Priest, Graham

Year
0
Tongue
English
Weight
3 MB
Category
Fiction
ISBN
0199262543

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