Abstract
Logic of proofs \(\mathcal{LP}\), introduced by S. Artemov, originally designed for describing properties of formal proofs, now became a basis for the theory of knowledge with justification. So far, in epistemic systems with justification the corresponding “evidence part”, even for multi-agent systems, consisted of a single explicit evidence logic. In this paper we introduce logics describing two interacting explicit evidence systems. We find an appropriate formalization of the intended semantics and prove the completeness of these logics with respect to both symbolic and arithmetical models. Also, we find the forgetful projections for the logics with two proof predicates which are extensions of the bimodal logic s4 2.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Artemov, S.: Uniform provability realization of intuitionistic logic, modality and λ-terms. Electronic Notes in Theoretical Computer Science 23 (1999)
Artemov, S.: Explicit provability and constructive semantics. Bulletin of Symbolic Logic 7, 1–36 (2001)
Artemov, S.: Evidence–based common knowledge, Technical Report TR–2004018, CUNY Ph.D. Program in Computer Science (2005)
Fitting, M.: The Logic of Proofs, Semantically. Annals of Pure and Applied Logic 132(1), 1–25 (2005)
Kuznets, R.: On the complexity of explicit modal logics. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol. 1862, pp. 371–383. Springer, Heidelberg (2000)
Mkrtychev, A.: Models for the Logic of Proofs. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol. 1234, pp. 266–275. Springer, Heidelberg (1997)
Smoryński, C.: Self-reference and Modal Logic. Springer, New York (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yavorskaya(Sidon), T. (2006). Multi-agent Explicit Knowledge. In: Grigoriev, D., Harrison, J., Hirsch, E.A. (eds) Computer Science – Theory and Applications. CSR 2006. Lecture Notes in Computer Science, vol 3967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11753728_38
Download citation
DOI: https://doi.org/10.1007/11753728_38
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34166-6
Online ISBN: 978-3-540-34168-0
eBook Packages: Computer ScienceComputer Science (R0)