Opis

• Tytuł:
  The Dynamic Epistemic Logic for Actual Knowledge
• Twórca:
  Wójcik, Arkadiusz
• Współtwórca:
  University of Warsaw, Institute of Philosophy, Department of Logic;
  arkadiuszwojcik@uw.edu.pl
• Opis:
  The 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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: http://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2020.03.30
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  49
• Temat i słowa kluczowe:
  Dynamic epistemic logic;
  logic of public announcements;
  knowledge representation;
  problem of logical omniscience;
  actual knowledge;
  epistemic change;
  multi-agent systems
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35372 ;
  2449-836X;
  10.18778/0138-0680.2020.04
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe