https://github.com/shaunazzopardi/deontic-logic-with-unknowns
A Partial Deontic Logic
https://github.com/shaunazzopardi/deontic-logic-with-unknowns
contracts csharp deontic deontic-logic law logic norms
Last synced: 3 months ago
JSON representation
A Partial Deontic Logic
- Host: GitHub
- URL: https://github.com/shaunazzopardi/deontic-logic-with-unknowns
- Owner: shaunazzopardi
- Created: 2017-07-04T20:26:17.000Z (over 8 years ago)
- Default Branch: master
- Last Pushed: 2018-09-26T08:52:41.000Z (about 7 years ago)
- Last Synced: 2025-01-12T10:07:56.729Z (9 months ago)
- Topics: contracts, csharp, deontic, deontic-logic, law, logic, norms
- Language: C#
- Homepage:
- Size: 17.6 KB
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# deontic-logic-with-unknowns
This is an implementation of an action-based deontic logic language that allows for unknowns, i.e. a partial logic of norms. The semantics are described in:
Shaun Azzopardi, Albert Gatt and Gordon Pace, [Reasoning about partial contracts](https://www.researchgate.net/publication/311651290_Reasoning_about_Partial_Contracts), Jurix 2016, Nice, France.
Usage:
Create objects for each contract (in /Contracts/), but use the ContractFactory for operators between contracts (concurrent, composed and reparation contracts) to create such contracts in their minimized equivalent state. This allows for efficient analysis. Given such a contract it can then be analysed for conflicts.