Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Reasoning about knowledge
Basic proof theory
Provability Logic with Operations on Proofs
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
Models for the Logic of Proofs
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
Knowledge, common knowledge and related puzzles (Extended Summary)
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Journal of Logic, Language and Information
On the model theory of knowledge
On the model theory of knowledge
On epistemic logic with justification
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Integration of decision procedures into high-order interactive provers
Integration of decision procedures into high-order interactive provers
Introducing Justification into Epistemic Logic
Journal of Logic and Computation
Justified and Common Knowledge: Limited Conservativity
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
The NP-Completeness of Reflected Fragments of Justification Logics
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Syntactic Cut-elimination for Common Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
Justification logics, logics of knowledge, and conservativity
Annals of Mathematics and Artificial Intelligence
Propositional games with explicit strategies
Information and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Pillars of computer science
Topological semantics of justification logic
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Fields of logic and computation
Partial realization in dynamic justification logic
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Logical omniscience via proof complexity
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
The Ontology of Justifications in the Logical Setting
Studia Logica
Knowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae - Logic, Language, Information and Computation
Arguing with justifications between collaborating agents
ArgMAS'11 Proceedings of the 8th international conference on Argumentation in Multi-Agent Systems
Hi-index | 0.00 |
In this paper we introduce the justified knowledge operator J with the intended meaning of J ϕ as 'there is a justification for ϕ.' Though justified knowledge appears here in a case study of common knowledge systems, a similar approach is applicable in more general situations. First we consider evidence-based common knowledge systems obtained by augmenting a multi-agent logic of knowledge with a system of evidence assertions t:ϕ, reflecting the notion 't is an evidence for ϕ,' such that evidence is respected by all agents. Justified common knowledge is obtained by collapsing all evidence terms into one modality J. We show that in standard situations, when the base epistemic systems are T, S4, and S5, the resulting justified common knowledge systems are normal modal logics, which places them within the scope of well-developed machinery applicable to modal logic: Kripke-style epistemic models, normalized proofs, automated proof search, etc. In the aforementioned situations, the intended semantics of justified knowledge is supported by a realization theorem stating that for any valid fact about justified knowledge, one could recover its constructive meaning by realizing all occurrences of justified knowledge modalities Jϕ by appropriate evidence terms t:ϕ.