Modal provability foundations for argumentation networks

Dov M. Gabbay

doi:10.1007/s11225-009-9215-0

Modal provability foundations for argumentation networks

Dov M. Gabbay

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

13 Scopus citations

Abstract

Given an argumentation network we associate with it a modal formula representing the 'logical content' of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.

Original language	English
Pages (from-to)	181-198
Number of pages	18
Journal	Studia Logica
Volume	93
Issue number	2
DOIs	https://doi.org/10.1007/s11225-009-9215-0
State	Published - Dec 2009

Keywords

Argumentation frames
Modal logic
Provability logic

Access to Document

10.1007/s11225-009-9215-0

Cite this

@article{f9b428c9161a4b46b78a5bd7fe329503,

title = "Modal provability foundations for argumentation networks",

abstract = "Given an argumentation network we associate with it a modal formula representing the 'logical content' of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.",

keywords = "Argumentation frames, Modal logic, Provability logic",

author = "Gabbay, \{Dov M.\}",

year = "2009",

month = dec,

doi = "10.1007/s11225-009-9215-0",

language = "אנגלית",

volume = "93",

pages = "181--198",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Modal provability foundations for argumentation networks

AU - Gabbay, Dov M.

PY - 2009/12

Y1 - 2009/12

N2 - Given an argumentation network we associate with it a modal formula representing the 'logical content' of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.

AB - Given an argumentation network we associate with it a modal formula representing the 'logical content' of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.

KW - Argumentation frames

KW - Modal logic

KW - Provability logic

UR - https://www.scopus.com/pages/publications/71149095436

U2 - 10.1007/s11225-009-9215-0

DO - 10.1007/s11225-009-9215-0

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:71149095436

SN - 0039-3215

VL - 93

SP - 181

EP - 198

JO - Studia Logica

JF - Studia Logica

IS - 2

ER -

Modal provability foundations for argumentation networks

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this