A semantics for obligations
Logic
2009-03-09 v2
Abstract
We analyze a number of properties obligations have or should have.
Cite
@article{arxiv.0811.2754,
title = {A semantics for obligations},
author = {Dov Gabbay and Karl Schlechta},
journal= {arXiv preprint arXiv:0811.2754},
year = {2009}
}
Related papers
View all related →
Artificial Intelligence · Computer Science
Reasoning about multiple aspects in DLs: Semantics and Closure Construction
Laura Giordano, Valentina Gliozzi
2018-01-23
Statistical Finance · Quantitative Finance
Threshold levels in Economics
V. P. Maslov
2009-04-09
Computation and Language · Computer Science
An Inventory of Preposition Relations
Vivek Srikumar, Dan Roth
2013-05-27
General Economics · Economics
Key features of administrative responsibility
Vladimir Zhavoronkov, Valeri Lipunov, Mattia Masolletti
2021-07-19
Logic · Mathematics
Semantic interpolation
Dov Gabbay, Karl Schlechta
2009-07-22
Artificial Intelligence · Computer Science
Modelling Legal Contracts as Processes
Aspassia Daskalopulu
2016-11-17
Software Engineering · Computer Science
Literature Review: Smart Contract Semantics
Varun Mathur
2019-01-08
Artificial Intelligence · Computer Science
A structured argumentation framework for detaching conditional obligations
Mathieu Beirlaen, Christian Straßer
2016-06-02
Multiagent Systems · Computer Science
A static theory of promises
Jan A. Bergstra, Mark Burgess
2014-01-31
Logic · Mathematics
A general proof system for logics of imperfect information
Pietro Galliani
2012-01-30
Logic in Computer Science · Computer Science
Some Algebraic Aspects of Assume-Guarantee Reasoning
Inigo Incer, Albert Benveniste, Alberto Sangiovanni-Vincentelli
2023-09-19
Logic in Computer Science · Computer Science
Application of Validation Obligations to Security Concerns
Sebastian Stock, Atif Mashkoor, Alexander Egyed
2022-07-08
Cryptography and Security · Computer Science
A Logic for Reasoning about Digital Rights
Riccardo Pucella, Vicky Weissman
2007-05-23
Logic · Mathematics
Formulas and properties
Sergey V. Sudoplatov
2021-04-02
Logic · Mathematics
A theory of hierarchical consequence and conditionals
Dov Gabbay, Karl Schlechta
2008-08-25
Logic in Computer Science · Computer Science
Binding Logic: proofs and models
Gilles Dowek, Thérèse Hardin, Claude Kirchner
2023-05-26
Pricing of Securities · Quantitative Finance
Tax Bond Creation Using a Structural Model and its Extensions
Suren Harutyunyan
2015-09-04
Artificial Intelligence · Computer Science
Relational Argumentation Semantics
Ryuta Arisaka, Takayuki Ito
2021-04-27
Logic in Computer Science · Computer Science
Impossible and Conflicting Obligations in Justification Logic
Federico L. G. Faroldi, Meghdad Ghari, Eveline Lehmann, Thomas Studer
2023-10-09
Logic in Computer Science · Computer Science
Decidability of Existence and Construction of a Complement of a given Function
Ka. Shrinivaasan
2014-07-31
Logic · Mathematics
A semantics of realisability for the classical propositional natural deduction
Karim Nour, Khelifa Saber
2009-05-12
cmp-lg · Computer Science
The Semantics of Motion
Pierre Sablayrolles
2016-08-31
Mathematical Finance · Quantitative Finance
Martingale property of exponential semimartingales: a note on explicit conditions and applications to financial models
David Criens, Kathrin Glau, Zorana Grbac
2016-08-12
Computation and Language · Computer Science
The Interplay of Semantics and Morphology in Word Embeddings
Oded Avraham, Yoav Goldberg
2017-04-07
Logic · Mathematics
Preconditionals
Wesley H. Holliday
2025-08-29