A semantics for obligations
Dov Gabbay (LIF), Karl Schlechta (LIF)
TL;DR
This paper explores the fundamental properties and characteristics of obligations, aiming to clarify their semantic structure and implications.
Contribution
It provides a formal semantic framework for understanding obligations and analyzes their essential properties.
Findings
Identifies key properties obligations should have
Proposes a formal semantic model for obligations
Clarifies the logical behavior of obligations
Abstract
We analyze a number of properties obligations have or should have.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLaw, Economics, and Judicial Systems · Global Financial Regulation and Crises · Multi-Agent Systems and Negotiation