A formalisation of violation, error recovery, and enforcement in the bit transmission problem
- 31 March 2004
- journal article
- Published by Elsevier in Journal of Applied Logic
- Vol. 2 (1) , 93-116
- https://doi.org/10.1016/j.jal.2004.01.005
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Deontic Interpreted SystemsStudia Logica, 2003
- Law-governed interactionACM Transactions on Software Engineering and Methodology, 2000
- Knowledge-based programsDistributed Computing, 1997
- Deontic database constraints, violation and recoveryStudia Logica, 1996
- The dynamic logic of permissionJournal of Logic and Computation, 1996
- Top-down development of layered fault tolerant systems and its problems ? a deontic perspectiveAnnals of Mathematics and Artificial Intelligence, 1993
- A logic for reasoning about securityACM Transactions on Computer Systems, 1992
- A little knowledge goes a long wayJournal of the ACM, 1992
- Temporal Reasoning over Deontic SpecificationsJournal of Logic and Computation, 1991
- A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.Notre Dame Journal of Formal Logic, 1987