Abstract
Justification logic is an epistemic framework that provides a way to express explicit justifications for the agent’s belief. In this paper, we present OPAL, a dynamic justification logic that includes term operators to reflect public announcements on the level of justifications. We create dynamic epistemic semantics for OPAL. We also elaborate on the relationship of dynamic justification logics to Gerbrandy–Groeneveld’s PAL by providing a partial realization theorem.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Artemov, S.N.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)
Artemov, S.N.: The logic of justification. The Review of Symbolic Logic 1(4), 477–513 (2008)
Artemov, S.N.: Tracking evidence. In: Blass, A., Dershowitz, N., Reisig, W. (eds.) Fields of Logic and Computation. LNCS, vol. 6300, pp. 61–74. Springer, Heidelberg (2010)
Artemov, S.N., Kuznets, R.: Logical omniscience as a computational complexity problem. In: Heifetz, A. (ed.) Proc. of TARK 2009, pp. 14–23. ACM, New York (2009)
Brezhnev, V.N.: On explicit counterparts of modal logics. Technical Report CFIS 2000–05. Cornell University (2000)
Brünnler, K., Goetschi, R., Kuznets, R.: A syntactic realization theorem for justification logics. In: Beklemishev, L., Goranko, V., Shehtman, V. (eds.) Advances in Modal Logic, vol. 8, pp. 39–58. College Publications (2010)
Bucheli, S., Kuznets, R., Renne, B., Sack, J., Studer, T.: Justified belief change. In: Arrazola, X., Ponte, M. (eds.) Proc. of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, pp. 135–155. University of the Basque Country Press (2010)
Bucheli, S., Kuznets, R., Studer, T.: Justifications for common knowledge. To appear in the Journal of Applied Non-Classical Logics (2011)
Fitting, M.: The logic of proofs, semantically. Annals of Pure and Applied Logic 132(1), 1–25 (2005)
Fitting, M.: The realization theorem for S5, a simple, constructive proof. In: Gupta, A., van Benthem, J. (eds.) Proc. of the Second Indian Conference on Logic and Its Relationship with Other Disciplines (2009) (forthcoming)
Fitting, M.: Realizations and LP. Annals of Pure and Applied Logic 161(3), 368–387 (2009)
Gerbrandy, J.: Bisimulations on Planet Kripke. PhD thesis. Institute for Logic, Language, and Computation, University of Amsterdam (1999)
Gerbrandy, J., Groeneveld, W.: Reasoning about information change. Journal of Logic, Language and Information 6(2), 147–169 (1997)
Plaza, J.: Logics of public communications. Synthese 158(2), 165–179 (2007); Reprinted from Emrich, M.L., et al. (eds.) Proc. of ISMIS 1989, pp. 201–216. Oak Ridge National Laboratory, ORNL/DSRD-24 (1989)
Renne, B.: Dynamic Epistemic Logic with Justification. PhD thesis. CUNY Graduate Center (2008)
Renne, B.: Evidence elimination in multi-agent justification logic. In: Heifetz, A. (ed.) Proc. of TARK 2009, pp. 227–236. ACM, New York (2009)
Renne, B.: Public communication in justification logic. Journal of Logic and Computation, Advance Access (July 2010)
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. In: Synthese Library, vol. 337. Springer, Heidelberg (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bucheli, S., Kuznets, R., Studer, T. (2011). Partial Realization in Dynamic Justification Logic. In: Beklemishev, L.D., de Queiroz, R. (eds) Logic, Language, Information and Computation. WoLLIC 2011. Lecture Notes in Computer Science(), vol 6642. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-20920-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-20920-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-20919-2
Online ISBN: 978-3-642-20920-8
eBook Packages: Computer ScienceComputer Science (R0)