The DOI matches its Crossref record; 34 of the 34 references it cites were found in a registry or an index.
Dynamic turn in epistemic logic
Open accessAbstract
Популяризація спеціалізованих наукових знань необхідна і для цього можна вказати мінімум 2 причини. Перша: популярний і доступний виклад наукових здобутків виконує агітаційну та профорієнтаційну роль, заохочуючи молодь займатися дослідженнями в певних областях знань. Друга: науково-популярний спосіб представлення знайомить з загальними способами наукового дослідженнями, принципами побудови наукового знання, методами його отримання, обґрунтування, систематизації та використання. За словами Й. Ван Бентема, логіку варто було б розуміти не як останню інстанцію, якій належить заключне слово в будь-якій дослідницькій справі, а як засіб підвищення якості наших уявлень про інформацію, обчислення і мислення, і як певний вимір в процесі аналізу і конструювання. Треба зважати на здатність логіки породжувати нові раціональні практики з новими правилами і навіть, можливо, новими типами суб'єктів. Логічне програмування, процедури аргументації, логічні ігри і багато інших нових феноменів явно показують, що діяльнісний вимір логіки є життєздатним і продуктивним модусом буття самої логіки. Таким чином, завдання цієї лекції — представити сучасний напрямок епістемічної логіки як механізм аналізу, який зокрема може бути використаний неспеціалістами (не логіками) у своїй професійній дільності та більш того у повсякденному спілкуванні.
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The text we found for this paper looks like another document, so the self-check wasn’t run.
Citations
Cites
The publisher hasn’t deposited this paper’s reference list.
Research works printed but not linked: 13
- ---, 2008, ''Knowable' as 'known after an announcement'', The Review of Symbolic Logic , 1(3): 305-334. doi:10.1016/j.entcs.2006.05.034 | [Balbiani et al. 2008 available online (pdf)] · DOI
- Balbiani, P., H. van Ditmarsch, A. Herzig, and T. De Lima, 2012, 'Some truths are best left unsaid', in Bolander et al. 2012: V ol. 9, pp. 36-54. [Balbiani et al. 2012 available online (pdf)]
- ---, 2008b, 'A qualitative theory of dynamic interactive belief revision', in G. Bonanno, W. van der Hoek, and M. Wooldridge (eds.), TLG 3: Logic and the Foundations of Game and Decision Theory (LOFT 7) , Volume 3 of Texts in logic and games , pp. 11-58, Amsterdam: Amsterdam University Press. [Baltag and Smets 2008a available online (pdf)]
- Bolander, T., T. Braüner, S. Ghilardi, and L.S. Moss (eds.), 2012, Advances in Modal Logic (AiML) , Copenhagen, Denmark: College Publications.
- Boutilier, C., 1993, 'Revision sequences and nested conditionals', in Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI 2011) , Volume 93, Chambéry, France, pp. 519531. [Boutilier 1993 available online (pdf)]
- Brogaard, B. and J. Salerno, 2012, 'Fitch's paradox of knowability', in E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Winter 2013 edition). URL=
- Bucheli, S., R. Kuznets, J. Sack, and T. Studer, 2010, 'Justified belief change', in X. Arrazola and M. Ponte (eds.), LogKCA-10: Proceedings of the 2nd ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action , pp. 135-155. The University of the Basque Country Press. [Bucheli et al. available online (pdf)]
- Demey, L., B. Kooi, and J. Sack, 2013, 'Logic and probability', in E.N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Fall 2014 edition). URL=
- French, T. and H. van Ditmarsch, 2008, 'Undecidability for arbitrary public announcement logic', in L. Beklemishev, V. Goranko, and V. Shehtman (eds.), Advances in Modal Logic (AiML) , Volume 7, Nancy, France, pp. 23-42. College Publications. [French and van Ditmarsch 2008 available online (pdf)]
- Gärdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States , Cambridge, MA: MIT Press.
- Gerbrandy, J., 1999, Bisimulations on Planet Kripke , Ph. D. thesis, University of Amsterdam. [Gerbrandy 1999 available online (pdf)]
- Girard, P., 2008, Modal Logic for Belief and Preference Change , Ph. D. thesis, University of Amsterdam. [Girard 2008 available online (pdf)]
- Girard, P., J. Seligman, and F. Liu, 2012, 'General dynamic dynamic logic', in Bolander et al. 2012: Vol. 8, pp. 239-260. [Girard, Seligman, and Liu 2012 available online (pdf)]
Metadata
- Authors
- Козаченко, Н. П.
- Corresponding author
- Козаченко, Надія Павлівна
- Publisher
- КНУ имени Тараса Шевченко
- Published
- 2016-05-16
- OpenAlex
- W4301907698
- Semantic Scholar
- 20ba6dc86fe2a70607d7808875b2bda2219cbf1d
- Cited by
- 0
- References
- 0
- Type
- report
- Language
- uk
- Open access
- gold
- doi.org
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
- Social Sciences › Arts and Humanities › Philosophy › Epistemology, Ethics, and Metaphysics
- Social Sciences › Arts and Humanities › History and Philosophy of Science › Logic and Philosophy of Science
- Keywords
- dynamic epistemic logic, epistemic logic
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A second model labelled each claim on 2026-10-28 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
