Interacting Explicit Evidence Systems

Yavorskaya, Tatiana

doi:10.1007/s00224-007-9057-y

Cited by 44 publications

(17 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We could use a less general version of (ax-nec) where the -operation is indexed. This would be similar to the evidence verification operation of [27], see also Question 2. In that case we would obtain j i c j [c] i ϕ.…”

Section: Internalizationmentioning

confidence: 53%

See 1 more Smart Citation

Temporal Justification Logic

Bucheli¹,

Ghari

Studer

2017

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

Justification logics are modal-like logics with the additional capability of recording the reason, or justification, for modalities in syntactic structures, called justification terms. Justification logics can be seen as explicit counterparts to modal logics. The behavior and interaction of agents in distributed system is often modeled using logics of knowledge and time. In this paper, we sketch some preliminary ideas on how the modal knowledge part of such logics of knowledge and time could be replaced with an appropriate justification logic.

show abstract

Section: Internalizationmentioning

confidence: 53%

“…Finally, for the justification logic part, we use a multi-agent version of the Logic of Proofs [1,6,13,27] with axioms…”

Section: Justification Logicmentioning

confidence: 99%

Temporal Justification Logic

Bucheli¹,

Ghari

Studer

2017

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…Yavorskaya [11] studies a multi-agent justification logic with various operations of evidence transfer between the agents. In particular, she introduced the !…”

Section: Related Workmentioning

confidence: 99%

An Application of Justification Logic to Protocol Verification

Studer

2011

2011 Seventh International Conference on Computational Intelligence and Security

View full text Add to dashboard Cite

Abstract-Recently, Tsukada et al. propose to use multiagent epistemic logic for a taxonomy of informationhiding/disclosure properties, in particular properties used in authentication protocols. We follow their proposal and introduce a new multi-agent justification logic for protocol analysis and verification. We show our logic at work analyzing a nonrepudiation protocol due to Zhou and Gollmann. Based on this example, we then discuss the expressive power of the logic as well as possible further extensions.

show abstract

“…Justification Logic, due to Sergei Artemov and originally conceived as a solution to a long-standing open problem concerning the intended semantics of Gödel's provability logic [3], has since developed into a wide-ranging study of the notions of evidence and justification; see, e.g., [1,2,[4][5][6][7][8][9][10]13,[18][19][20][21][23][24][25][29][30][31]33,[42][43][44][45]50,53,54,[59][60][61][62]. By making explicit the "evidence" supporting a given assertion, this formalism can capture one of the main ingredients in the epistemological analysis of knowledge: the epistemic justification underlying the knowledge or belief possessed by an agent endowed with only limited logical resources and bounded rationality.…”

Section: Introductionmentioning

confidence: 99%

The logic of justified belief, explicit knowledge, and conclusive evidence

Baltag

Renne

Smets

2014

Annals of Pure and Applied Logic

View full text Add to dashboard Cite

We present a complete, decidable logic for reasoning about a notion of completely trustworthy ("conclusive") evidence and its relations to justifiable (implicit) belief and knowledge, as well as to their explicit justifications. This logic makes use of a number of evidence-related notions such as availability, admissibility, and "goodness" of a piece of evidence, and is based on an innovative modification of the Fitting semantics for Artemov's Justification Logic designed to preempt Gettier-type counterexamples. We combine this with ideas from belief revision and awareness logics to provide an account for explicitly justified (defeasible) knowledge based on conclusive evidence that addresses the problem of (logical) omniscience.

show abstract

Interacting Explicit Evidence Systems

Cited by 44 publications

References 7 publications

Temporal Justification Logic

Temporal Justification Logic

An Application of Justification Logic to Protocol Verification

The logic of justified belief, explicit knowledge, and conclusive evidence

Contact Info

Product

Resources

About