Journal article icon

Journal article

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic.

Abstract:

In this paper, we start studying epistemic updates using the standard toolkit of duality theory. We focus on public announcements. We give the dual characterization of the corresponding submodel-injection map, as a certain pseudo-quotient map between the complex algebras respectively associated with the given model and with its relativized submodel. The dual characterization we provide naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BA...

Expand abstract
Publication status:
Published

Actions


Access Document


Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author

Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Publisher:
Springer Publisher's website
Journal:
LORI
Volume:
6953
Pages:
394-395
Publication date:
2011-01-01
DOI:
EISSN:
1611-3349
ISSN:
0302-9743
Source identifiers:
306063
Language:
English
Pubs id:
pubs:306063
UUID:
uuid:e09d3047-c9a5-4e24-afed-bcf30ef3f4e4
Local pid:
pubs:306063
Deposit date:
2012-12-20

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP