Semantics for Knowledge and Change of Awareness

H.P. Van Ditmarsch; Tim French

doi:10.1007/s10849-014-9194-z

Semantics for Knowledge and Change of Awareness

H.P. Van Ditmarsch
, Tim French

Research output: Contribution to journal › Article › peer-review

16 Citations (Scopus)

Abstract

We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness. © 2014 Springer Science+Business Media Dordrecht.

Original language	English
Pages (from-to)	169-195
Journal	Journal of Logic, Language and Information
Volume	23
Issue number	2
DOIs	https://doi.org/10.1007/s10849-014-9194-z
Publication status	Published - 2014

Access to Document

10.1007/s10849-014-9194-z

Cite this

@article{e219b08295dc49ba8e0b98448ef00d9d,

title = "Semantics for Knowledge and Change of Awareness",

abstract = "We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness. {\textcopyright} 2014 Springer Science+Business Media Dordrecht.",

author = "\{Van Ditmarsch\}, H.P. and Tim French",

year = "2014",

doi = "10.1007/s10849-014-9194-z",

language = "English",

volume = "23",

pages = "169--195",

journal = "Journal of Logic, Language and Information",

issn = "0925-8531",

publisher = "Springer Science and Business Media B.V.",

number = "2",

}

TY - JOUR

T1 - Semantics for Knowledge and Change of Awareness

AU - Van Ditmarsch, H.P.

AU - French, Tim

PY - 2014

Y1 - 2014

N2 - We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness. © 2014 Springer Science+Business Media Dordrecht.

AB - We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness. © 2014 Springer Science+Business Media Dordrecht.

U2 - 10.1007/s10849-014-9194-z

DO - 10.1007/s10849-014-9194-z

M3 - Article

SN - 0925-8531

VL - 23

SP - 169

EP - 195

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

IS - 2

ER -

Semantics for Knowledge and Change of Awareness

Abstract

Access to Document

Fingerprint

Cite this