Deontic database constraints, violation and recovery

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.

John-Jules Meyer · Notre Dame Journal of Formal Logic · 1987 · 383 citations · Full text

Humanities, Computer Science, Philosophy +8

Temporal Databases

Snodgrass, llsoo Ahn · Computer · 1986 · 365 citations

Contrary-To-Duty Imperatives and Deontic Logic

Roderick M. Chisholm · Analysis · 1963 · 363 citations

Humanities, Philosophy, Pragmatics +8

A formal approach to recovery by compensating transactions

Henry F. Korth, Eliezer Levy, Abraham Silberschatz · 1990 · 225 citations

Computing, Computer Science, Computer Systems +17

On the characterization of law and computer systems: the normative systems perspective

Andrew Jones, Marek Sergot · Deontic Logic in Computer Science · 1994 · 221 citations

Law, Computer Systems, Jurisprudence +10