Evidence logics with relational evidence

Alexandru Baltag; Andrés Occhipinti

doi:10.1007/978-3-662-55665-8_2

Evidence logics with relational evidence

Alexandru Baltag, Andrés Occhipinti

Department of Applied Mathematics and Computer Science

University of Amsterdam

Research output: Contribution to journal › Conference article › Research › peer-review

Abstract

We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.

Original language	English
Book series	Lecture Notes in Computer Science
Volume	10445
Pages (from-to)	17-32
ISSN	0302-9743
DOIs	https://doi.org/10.1007/978-3-662-55665-8_2
Publication status	Published - 2017
Event	6th International Conference on Logic, Rationality and Interaction - Hokkaido University, Sapporo, Japan Duration: 11 Sep 2017 → 14 Sep 2017 Conference number: 6 https://golori.org/lori2017/

Conference

Conference	6th International Conference on Logic, Rationality and Interaction
Number	6
Location	Hokkaido University
Country/Territory	Japan
City	Sapporo
Period	11/09/2017 → 14/09/2017
Internet address	https://golori.org/lori2017/

Keywords

Evidence logic
Dynamic logic

Access to Document

10.1007/978-3-662-55665-8_2

https://arxiv.org/pdf/1706.05905.pdf

OpenUrl availability

Full text

Cite this

@inproceedings{bf58ca1bfb8b4ae9b3482814f5f82dc6,

title = "Evidence logics with relational evidence",

abstract = "We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.",

keywords = "Evidence logic, Dynamic logic",

author = "Alexandru Baltag and Andr{\'e}s Occhipinti",

year = "2017",

doi = "10.1007/978-3-662-55665-8_2",

language = "English",

volume = "10445",

pages = "17--32",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

note = "6th International Conference on Logic, Rationality and Interaction, LORI 2017 ; Conference date: 11-09-2017 Through 14-09-2017",

url = "https://golori.org/lori2017/",

}

TY - GEN

T1 - Evidence logics with relational evidence

AU - Baltag, Alexandru

AU - Occhipinti, Andrés

N1 - Conference code: 6

PY - 2017

Y1 - 2017

N2 - We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.

AB - We introduce a family of logics for reasoning about relational evidence: evidence that involves an ordering of states in terms of their relative plausibility. We provide sound and complete axiomatizations for the logics. We also present several evidential actions and prove soundness and completeness for the associated dynamic logics.

KW - Evidence logic

KW - Dynamic logic

U2 - 10.1007/978-3-662-55665-8_2

DO - 10.1007/978-3-662-55665-8_2

M3 - Conference article

VL - 10445

SP - 17

EP - 32

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

T2 - 6th International Conference on Logic, Rationality and Interaction

Y2 - 11 September 2017 through 14 September 2017

ER -

Evidence logics with relational evidence

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this