Deontics and time in contracts: An executable semantics for the L4 DSL

Deontics and time in contracts: An executable semantics for the L4 DSL

Existing approaches to modelling contracts often rely on deontic logic to reason about norms, and only treat time qualitatively. Using L4, a textual domain specific language (DSL) for the law, we offer a more operational interpretation of norms, based on states and transitions, that also accounts fo...

Full description

Saved in:
Bibliographic Details
Main Authors: WATT, Seng Joe, GOODENOUGH, Oliver, WONG, Meng Weng (HUANG Mingrong)
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2023
Subjects:
formal specification
contract automation
norm operationalization
Contracts
Online Access:https://ink.library.smu.edu.sg/sol_research/4367
https://ink.library.smu.edu.sg/context/sol_research/article/6325/viewcontent/9._Deontics_and_time_in_contracts.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sol_research/4367
https://ink.library.smu.edu.sg/context/sol_research/article/6325/viewcontent/9._Deontics_and_time_in_contracts.pdf

Similar Items