Publication:4329184
From MaRDI portal
zbMath0993.03041MaRDI QIDQ4329184
Robert Demolombe, Andrew J. I. Jones, José Carmo
Publication date: 25 September 2002
modal logic; deontic logic; information systems; constraints; integrity; necessary truths; deontic constraints
68P15: Database theory
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
Related Items
The categorical imperative: category theory as a foundation for deontic logic, Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation