2011
DOI: 10.1007/978-3-642-20920-8_9
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
5

Citation Types

0
20
0

Year Published

2012
2012
2019
2019

Publication Types

Select...
7
2

Relationship

6
3

Authors

Journals

citations
Cited by 14 publications
(20 citation statements)
references
References 12 publications
0
20
0
Order By: Relevance
“…Later Fitting [8] introduced epistemic, that is Kripke, models for justification logic. In this semantics, justification terms represent evidence in a much more general sense [3,6,12]. For instance, our belief in α may be justified by direct observation of α or by learning that a friend of a friend has heard about α.…”
Section: Introductionmentioning
confidence: 99%
“…Later Fitting [8] introduced epistemic, that is Kripke, models for justification logic. In this semantics, justification terms represent evidence in a much more general sense [3,6,12]. For instance, our belief in α may be justified by direct observation of α or by learning that a friend of a friend has heard about α.…”
Section: Introductionmentioning
confidence: 99%
“…To illustrate how this principle works, we briefly recall the following example from [8]. Elite-level frequent flyers can usually check in for their flight at the business counter by presenting their elite membership card, which can also be attached to their luggage to make public their elite status.…”
Section: Introductionmentioning
confidence: 99%
“…He also investigated the expressive power of certain justification logics with announcements [23]. In a series of papers [12,14,15] we examined two alternative justification counterparts of Gerbrandy-Groeneveld's public announcement logic [18]. Last but not least, Baltag et al [10] introduced a justification logic for belief change, soft evidence, and defeasible knowledge.…”
Section: Introductionmentioning
confidence: 99%