Theory of Computing Systems 55 (1):1--40 (2014)

Authors
Meghdad Ghari
University Of Isfahan
Abstract
Justification logics are a family of modal epistemic logics which enables us to reasoning about justifications and evidences. In this paper, we introduce evidence-based multi-agent distributed knowledge logics, called distributed knowledge justification logics. The language of our justification logics contain evidence-based knowledge operators for individual agents and for distributed knowledge, which are interpreted respectively as “t is a justification that agent i accepts for F‘, and “t is a justification that all agents accept for F if they combine their knowledge and justifications‘. We study basic properties of our logics and prove the conservativity of distributed knowledge justification logics over multi-agent justification logics. We present Kripke style models, pseudo-Fitting and Fitting models, as well as Mkrtychev models and prove soundness and completeness theorems. We also find a class of Fitting models which satisfies the principle of full communication. Finally, we establish the realization theorem, which states that distributed knowledge justification logics can be embedded into the modal distributed knowledge logics, and vise versa.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,579
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Temporal Justification Logic.S. Bucheli, M. Ghari & T. Studer - 2017 - Proceedings of the Ninth Workshop on Methods for Modalities (M4M9 2017), Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017, Electronic Proceedings in Theoretical Computer Science 243, Pages 59–74.

Add more citations

Similar books and articles

Pavelka-Style Fuzzy Justification Logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.
Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Distributed Knowledge.Floris Roelofsen - 2007 - Journal of Applied Non-Classical Logics 17 (2):255-273.
Justification Logic, Inference Tracking, and Data Privacy.Thomas Studer - 2011 - Logic and Logical Philosophy 20 (4):297-306.
Relating Logics of Justification and Evidence.Igor Sedlár - 2014 - In Vít Punčochář & Michal Dančák (eds.), The Logica Yearbook 2013. College Publications. pp. 207-222.
Modal Logics, Justification Logics, and Realization.Melvin Fitting - 2016 - Annals of Pure and Applied Logic 167 (8):615-648.

Analytics

Added to PP index
2018-01-11

Total views
3 ( #1,334,684 of 2,461,871 )

Recent downloads (6 months)
2 ( #298,852 of 2,461,871 )

How can I increase my downloads?

Downloads

My notes