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

The Soft Torus: A Variational Analysis of Commutator Norms

โœ Scribed by R. Exel

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
368 KB
Volume
126
Category
Article
ISSN
0022-1236

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