A formalisation of violation, error recovery, and enforcement in the bit transmission problem
type: Item
instance of: scholarly article
title: A formalisation of violation, error recovery, and enforcement in the bit transmission problem
zbMATH Open document ID: 1076.68074
author: Alessio Lomuscio
author: Marek Sergot
published in: Journal of Applied Logic
publication date: 2004-08-06T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 2083328
zbMATH Keywords: Knowledge representation
zbMATH Keywords: Epistemic logic
zbMATH Keywords: Deontic logic
zbMATH Keywords: Multiagent systems
zbMATH Keywords: Communication protocols
describes a project that uses: NuSMV
MaRDI profile type: Publication
full work available at URL: j.jal.2004.01.005
OpenAlex ID: W1984691540
cites work: Q4818818
cites work: Deontic database constraints, violation and recovery
cites work: Top-down development of layered fault tolerant systems and its problems -- a deontic perspective
cites work: Q4845472
cites work: Knowledge-based programs
cites work: Temporal Reasoning over Deontic Specifications
cites work: Q4281254
cites work: Q3376919
cites work: A little knowledge goes a long way
cites work: Q4295371
cites work: Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
cites work: Deontic interpreted systems
cites work: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
cites work: The dynamic logic of permission
cites work: Q4858037
cites work: Reasoning about rational agents
DOI: 10.1016/J.JAL.2004.01.005
description: scientific article; zbMATH DE number 2083328