A modal logic of information change

Authors:
Joeri Engelfriet;Yde Venema
Affiliations:
Vrije Universiteit Amsterdam, The Netherlands;University of Amsterdam, Amsterdam
Venue:
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Year:
1998

Citing 4
Cited 0

All I know: a study in autoepistemic logic

Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
Towards a theory of knowledge and ignorance: preliminary report

Logics and models of concurrent systems
Conditional logics of normality: a modal approach

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's information, and the accessibility relations are those of increasing and decreasing knowledge. We concentrate on two specific settings in which an information state consists of all valuations that are models for some propositional formula, or theory, respectively; treating such a set of valuations as an epistemic S5-model, allows us to interpret epistemic formulas in it in the standard fashion. For the validities of one of these two supermodels we provide a Hilbert-style derivation system; our main technical result shows this derivation system to be sound and complete.