Ignore at your peril - towards a logic for ignorance

Authors:
Wiebe van der Hoek;Alessio Lomuscio
Affiliations:
University of Liverpool, UK;King's College London, UK
Venue:
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Year:
2003

Citing 3
Cited 0

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
Reasoning about knowledge

Reasoning about knowledge
Modal logic

Modal logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

A non-standard modal logic that we argue useful to represent formally the concept of ignorance in multi-agent systems is reported. We give syntax, and semantics and discuss issues relating to its axiomatisation.