The Dynamic Epistemic Logic for Actual Knowledge

Arkadiusz Wójcik

Bulletin of the Section of Logic (2020)

  • Volume: 49, Issue: 1
  • ISSN: 0138-0680

Abstract

top
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.

How to cite

top

Arkadiusz Wójcik. "The Dynamic Epistemic Logic for Actual Knowledge." Bulletin of the Section of Logic 49.1 (2020): null. <http://eudml.org/doc/295556>.

@article{ArkadiuszWójcik2020,
abstract = {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.},
author = {Arkadiusz Wójcik},
journal = {Bulletin of the Section of Logic},
keywords = {Dynamic epistemic logic; logic of public announcements; knowledge representation; problem of logical omniscience; actual knowledge; epistemic change; multi-agent systems},
language = {eng},
number = {1},
pages = {null},
title = {The Dynamic Epistemic Logic for Actual Knowledge},
url = {http://eudml.org/doc/295556},
volume = {49},
year = {2020},
}

TY - JOUR
AU - Arkadiusz Wójcik
TI - The Dynamic Epistemic Logic for Actual Knowledge
JO - Bulletin of the Section of Logic
PY - 2020
VL - 49
IS - 1
SP - null
AB - 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.
LA - eng
KW - Dynamic epistemic logic; logic of public announcements; knowledge representation; problem of logical omniscience; actual knowledge; epistemic change; multi-agent systems
UR - http://eudml.org/doc/295556
ER -

References

top
  1. [1] J. van Benthem, Epistemic Logic and Epistemology: The State of Their Affairs, Philosophical Studies, Vol. 128 (2006), pp. 49–76. 
  2. [2] R. Fagin, J. Y. Halpern, Belief, Awareness, and Limited Reasoning, Artificial Intelligence, Vol. 34 (1988), pp. 39–76. 
  3. [3] R. Fagin, J. Y. Halpern, Y. Moses, M. Vardi, Reasoning about Knowledge, MIT Press, Cambridge (1995). 
  4. [4] J. Gerbrandy, W. Groeneveld, Reasoning About Information Change, Journal of Logic, Language, and Information, Vol. 6 (1997), pp. 147–169. 
  5. [5] J. Hintikka, Knowledge and Belief, Cornell University Press, Ithaca (1962). 
  6. [6] S. Kripke, Semantical Analysis of Modal Logic (abstract), Journal of Symbolic Logic, Vol. 24 (1959), pp. 323–324. 
  7. [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. 
  8. [8] H. J. Levesque, A Logic of Implicit and Explicit Belief, Proceedings of AAAI-84, Austin (1984), pp. 198–202. 
  9. [9] J. E. Littlewood, A Mathematician's Miscellany, Meuthen, London (1953). 
  10. [10] J. Łoś, Logiki wielowartościowe a formalizacja funkcji intensjonalnych, Kwartalnik Filozoficzny, Vol. 17 (1948), pp. 57–78. 
  11. [11] A. Pap, Belief and Propositions, Philosophy of Science, Vol. 24 (1957), pp. 123–136. 
  12. [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. 
  13. [13] M. S. Rasmussen, Dynamic Epistemic Logic and Logical Omniscience, Logic and Logical Philosophy, Vol. 24 (2015), pp. 377–399. 
  14. [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. 
  15. [15] K. M. Sim, Epistemic Logic and Logical Omniscience: A Survey, International Journal of Intelligent Systems, Vol. 12 (1997), pp. 57–81. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.