Pokaż uproszczony rekord

The Dynamic Epistemic Logic for Actual Knowledge

dc.contributor.authorWójcik, Arkadiusz
dc.date.accessioned2021-05-05T15:52:36Z
dc.date.available2021-05-05T15:52:36Z
dc.date.issued2020-03-30
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/35372
dc.description.abstractThe dynamic epistemic logic for actual knowledge models the phenomenon of actual knowledge change when new information is received. In contrast to the systems of dynamic epistemic logic which have been discussed in the past literature, our system is not burdened with the problem of logical omniscience, that is, an idealized assumption that the agent explicitly knows all classical tautologies and all logical consequences of his or her knowledge. We provide a sound and complete axiomatization for this logic.en
dc.language.isoen
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;1en
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subjectDynamic epistemic logicen
dc.subjectlogic of public announcementsen
dc.subjectknowledge representationen
dc.subjectproblem of logical omniscienceen
dc.subjectactual knowledgeen
dc.subjectepistemic changeen
dc.subjectmulti-agent systemsen
dc.titleThe Dynamic Epistemic Logic for Actual Knowledgeen
dc.typeOther
dc.page.number79–96
dc.contributor.authorAffiliationUniversity of Warsaw, Institute of Philosophy, Department of Logicen
dc.identifier.eissn2449-836X
dc.references[1] J. van Benthem, Epistemic Logic and Epistemology: The State of Their Affairs, Philosophical Studies, Vol. 128 (2006), pp. 49–76.en
dc.references[2] R. Fagin, J. Y. Halpern, Belief, Awareness, and Limited Reasoning, Artificial Intelligence, Vol. 34 (1988), pp. 39–76.en
dc.references[3] R. Fagin, J. Y. Halpern, Y. Moses, M. Vardi, Reasoning about Knowledge, MIT Press, Cambridge (1995).en
dc.references[4] J. Gerbrandy, W. Groeneveld, Reasoning About Information Change, Journal of Logic, Language, and Information, Vol. 6 (1997), pp. 147–169.en
dc.references[5] J. Hintikka, Knowledge and Belief, Cornell University Press, Ithaca (1962).en
dc.references[6] S. Kripke, Semantical Analysis of Modal Logic (abstract), Journal of Symbolic Logic, Vol. 24 (1959), pp. 323–324.en
dc.references[7] S. Kripke, Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 9 (1963), pp. 67–96.en
dc.references[8] H. J. Levesque, A Logic of Implicit and Explicit Belief, Proceedings of AAAI-84, Austin (1984), pp. 198–202.en
dc.references[9] J. E. Littlewood, A Mathematician's Miscellany, Meuthen, London (1953).en
dc.references[10] J. Łoś, Logiki wielowartościowe a formalizacja funkcji intensjonalnych, Kwartalnik Filozoficzny, Vol. 17 (1948), pp. 57–78.en
dc.references[11] A. Pap, Belief and Propositions, Philosophy of Science, Vol. 24 (1957), pp. 123–136.en
dc.references[12] J. Plaza, Logics of Public Communications, [in:] M. Emrich, M. Pfeifer, M. Hadzikadic, Z. Ras (eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems: Poster Session Program, Oak Ridge National Laboratory, Oak Ridge (1989), pp. 201–216.en
dc.references[13] M. S. Rasmussen, Dynamic Epistemic Logic and Logical Omniscience, Logic and Logical Philosophy, Vol. 24 (2015), pp. 377–399.en
dc.references[14] G. Sillari, Models of awareness, [in:] G. Bonanno, W. van der Hoek, M. Wooldridge (eds.), Logic and the Foundations of Game and Decision Theory. Vol. 2: Texts in Logic and Games, Amsterdam University Press, Amsterdam (2008), pp. 209–240.en
dc.references[15] K. M. Sim, Epistemic Logic and Logical Omniscience: A Survey, International Journal of Intelligent Systems, Vol. 12 (1997), pp. 57–81.en
dc.contributor.authorEmailarkadiuszwojcik@uw.edu.pl
dc.identifier.doi10.18778/0138-0680.2020.04
dc.relation.volume49


Pliki tej pozycji

Thumbnail
Nazwa:
7906-Article_Text-20246-1-10-2 ...
Rozmiar:
502.0KB
Format:
PDF
Oglądaj/Otwórz

Pozycja umieszczona jest w następujących kolekcjach

Pokaż uproszczony rekord

http://creativecommons.org/licenses/by-nc-nd/4.0
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako http://creativecommons.org/licenses/by-nc-nd/4.0