MERGING EPISTEMIC AND TEMPORAL MODELS: A HISTORY-FREE APPROACH
Аннотация
Полный текст:
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 «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.