MERGING EPISTEMIC AND TEMPORAL MODELS: A HISTORY-FREE APPROACH

Elena Popova

Аннотация


There are two approaches to merging temporal and epistemic models. The first one consists in starting with a temporal model and enriching it with epistemic dimension (as temporal epistemic logic), while the second one is supposed to start with an epistemic model introducing temporal dimension (dynamic epistemic logic, epistemic temporal logic). The proposed evolutionary epistemic model (EEM) is based on the standard epistemic model with an evolu- tionary relation. EEM captures knowledge changes in terms of the evolution of worlds included in different epistemic contexts. Unlike other temporal-epistemic models, EEM is free from the concept of history and enriched with quantification operators over the worlds’ evolution stages.

Полный текст:

PDF (English)

Литература


van Benthem, van Eijck, Kooi 2006 — van Benthem J., van Eijck J., Kooi B. J. Logics of communication and change // Information and Computation. 2006. Vol. 204, no. 11. P. 1620–1662.

van Benthem et al. 2009 — van Benthem J., Gerbrandy J., Hoshi T., Pacuit E. Merging Frameworks for Interaction // Journal of Philosophical Logic. 2009. Vol. 38, no. 5. P. 491– 526.

van Ditmarsch, van der Hoek, Kooi 2007 — van Ditmarsch H., van der Hoek W., Kooi B. Dynamic Epistemic Logic. Berlin: Springer, 2007.

Dixon, Fisher, Wooldridge 1998 — Dixon C., Fisher M., Wooldridge M. Resolution for temporal logics of knowledge // Journal of Logic and Computation. 1998. Vol. 8, no. 3. P. 345–372.

Fagin et al. 1995 — Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. Reasoning About Knowledge. Boston: MIT Press, 1995.

Gabbay et al. 2003 — Gabbay D. M., Kurucz A., Wolter F., Zakharyaschev M. Many-Dimensional Modal Logics: Theory and Applications. Amsterdam: Elsevier, 2003.

Hoshi 2010 — Hoshi T. Merging DEL and ETL // Journal of Logic, Language and Information. 2010. Vol. 19, no. 4. P. 413–430.

Lomuscio, Penczek 2015 — Lomuscio A., Penczek W. Model Checking Temporal Epistemic Logic // Handbook of Epistemic Logic / ed. by H. van Ditmarsch et al. College Publications, 2015.

Moss 2015 — Moss L. S. Dynamic Epistemic Logic // Handbook of Epistemic Logic /ed. by H. van Ditmarsch et al. College Publications, 2015.

Parikh, Ramanujam 2003 — Parikh R., Ramanujam R. A knowledge based semantics of messages // Journal of Logic, Language and Information. 2003. Vol. 12, no. 4. P. 453–467.

Plaza 2007 — Plaza J. Logics of public communications // Synthese. 2007. Vol. 158, no. 2. P. 165–179.

Renne, Sack, Yap 2016 — Renne B., Sack J., Yap A. Logics of temporal-epistemic actions // Synthese. 2016. Vol. 193, no. 3. P. 813–849.




DOI: https://doi.org/10.52119/LPHS.2022.70.18.001

Ссылки

  • На текущий момент ссылки отсутствуют.




(c) 2022 Elena Popova

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.