Reasoning about justified belief

Adam Bjorndahl; Joseph Y. Halpern; Rafael Pass

doi:10.1145/2000378.2000405

Reasoning about justified belief

Adam Bjorndahl^*, Joseph Y. Halpern, Rafael Pass

^*Corresponding author for this work

Cornell University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Abstract

Halpern and Pass [8] introduce a logic of justified belief and go on to prove that strong rationalizability is characterized in this logic in terms of common justified belief of rationality (CJBR). Their paper provides semantics for this logic but no axiomatization. We correct this deficiency by reformulating the definition of justified belief and providing a complete axiomatization of this new system. We then prove a result analogous to the characterization of strong rationalizability in terms of CJBR, and analyze the additional assumptions needed to do so.

Original language	English
Title of host publication	TARK XIII
Subtitle of host publication	Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011
Pages	221-227
Number of pages	7
DOIs	https://doi.org/10.1145/2000378.2000405
State	Published - 2011
Externally published	Yes
Event	13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011 - Groningen, Netherlands Duration: 12 Jul 2011 → 14 Jul 2011

Publication series

Name	ACM International Conference Proceeding Series

Conference

Conference	13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011
Country/Territory	Netherlands
City	Groningen
Period	12/07/11 → 14/07/11

Keywords

epistemic logic
justified belief
rationality

Access to Document

10.1145/2000378.2000405

Cite this

@inproceedings{3a17ec44aba448ac8be18b2752b9b526,

title = "Reasoning about justified belief",

abstract = "Halpern and Pass [8] introduce a logic of justified belief and go on to prove that strong rationalizability is characterized in this logic in terms of common justified belief of rationality (CJBR). Their paper provides semantics for this logic but no axiomatization. We correct this deficiency by reformulating the definition of justified belief and providing a complete axiomatization of this new system. We then prove a result analogous to the characterization of strong rationalizability in terms of CJBR, and analyze the additional assumptions needed to do so.",

keywords = "epistemic logic, justified belief, rationality",

author = "Adam Bjorndahl and Halpern, {Joseph Y.} and Rafael Pass",

year = "2011",

doi = "10.1145/2000378.2000405",

language = "אנגלית",

isbn = "9781450307079",

series = "ACM International Conference Proceeding Series",

pages = "221--227",

booktitle = "TARK XIII",

note = "13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011 ; Conference date: 12-07-2011 Through 14-07-2011",

}

Bjorndahl, A, Halpern, JY & Pass, R 2011, Reasoning about justified belief. in TARK XIII: Theoretical Aspects of Rationality and Knowledge - Proceedings of the 13th Conference, TARK 2011. ACM International Conference Proceeding Series, pp. 221-227, 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011, Groningen, Netherlands, 12/07/11. https://doi.org/10.1145/2000378.2000405

TY - GEN

T1 - Reasoning about justified belief

AU - Bjorndahl, Adam

AU - Halpern, Joseph Y.

AU - Pass, Rafael

PY - 2011

Y1 - 2011

N2 - Halpern and Pass [8] introduce a logic of justified belief and go on to prove that strong rationalizability is characterized in this logic in terms of common justified belief of rationality (CJBR). Their paper provides semantics for this logic but no axiomatization. We correct this deficiency by reformulating the definition of justified belief and providing a complete axiomatization of this new system. We then prove a result analogous to the characterization of strong rationalizability in terms of CJBR, and analyze the additional assumptions needed to do so.

AB - Halpern and Pass [8] introduce a logic of justified belief and go on to prove that strong rationalizability is characterized in this logic in terms of common justified belief of rationality (CJBR). Their paper provides semantics for this logic but no axiomatization. We correct this deficiency by reformulating the definition of justified belief and providing a complete axiomatization of this new system. We then prove a result analogous to the characterization of strong rationalizability in terms of CJBR, and analyze the additional assumptions needed to do so.

KW - epistemic logic

KW - justified belief

KW - rationality

UR - http://www.scopus.com/inward/record.url?scp=80051568279&partnerID=8YFLogxK

U2 - 10.1145/2000378.2000405

DO - 10.1145/2000378.2000405

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:80051568279

SN - 9781450307079

T3 - ACM International Conference Proceeding Series

SP - 221

EP - 227

BT - TARK XIII

T2 - 13th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2011

Y2 - 12 July 2011 through 14 July 2011

ER -

Reasoning about justified belief

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this