PP-2008-36: van Benthem, Johan (2008) Merging Observation and Access in Dynamic Logic. [Report]
Preview |
Text (Full Text)
PP-2008-36.text.pdf Download (276kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2008-36.abstract.txt Download (920B) |
Abstract
There are many different notions of information in logic,
including observation-based range views, situation-theoretic
correlation views, and more syntactic inferential views of
what flows when we perform logical tasks. This paper shows
how the latter type of more fine-grained information can
be handled perspicuously in dynamic epistemic logic, by
introducing syntactic 'access' to worlds, which can be
modified by actions of 'realization', turning implicit
into explicit knowledge. Examples of such actions are
inference steps, 'explicit seeing', or introspection.
We provide some complete logics and further results.
This paper appeared in Volume 1 of the first Chinese
logic journal "Logical Studies", Guangzhou, June 2008.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2008-36 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2008 |
| Uncontrolled Keywords: | Semantic information; Inferential information; Dynamic epistemic logic; Awareness; Realization |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:37 |
| Last Modified: | 12 Oct 2016 14:37 |
| URI: | https://eprints.illc.uva.nl/id/eprint/310 |
Actions (login required)
 |
View Item |
