tlooto
Sign up
Computer ScienceMathematics

Reasoning about Information Change

J. Gerbrandy, W. Groeneveld

1997.4.1JOURNAL OF LOGIC LANGUAGE AND INFORMATION

DOI: 10.1023/a:1008222603071

tlooto Summary

This paper introduces Dynamic Epistemic Logic, which is alogic for reasoning about information change in a multi-agent system, and gives a sound and complete axiomatization of the resulting logic.

Abstract

Abstract is not available.

Citation format

GERBRANDY, J.; GROENEVELD, W. Reasoning about information change. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 1997, 6: 147–169.