Publication:4329184
From MaRDI portal
zbMath0993.03041MaRDI QIDQ4329184
Robert Demolombe, Andrew J. I. Jones, José Carmo
Publication date: 25 September 2002
Database theory (68P15) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)
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