Formal argumentation and modal logic

Autores
Chesñevar, Carlos Iván; Dix, Jurgen; Liao, Beishui; Luo, Jieting; Proietti, Carlo; Yuste Ginel, Antonio
Año de publicación
2025
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
In this article we analyse three different lines of work to combine modal logicand argumentation: a) a logic-based framework that combines dynamic logicand argumentation for value-based planning; b) alternating-time temporal logicextended with coalitional argumentation; c) different combined approaches forintegrating epistemic logics and argumentation. These three alternatives willhelp the reader to understand different interplays that can take place whencombining argumentation and modal logic. On the one hand, we show thatargumentation systems can be combined with very different readings of modaloperators (i.e., dynamic, temporal and epistemic). On the other hand, modallogic and argumentation can be used in different relative positions. When representing and reasoning about plans, modal logic is applied for the reasoningon the object level and a structured argumentation framework is built on themeta-level over modal logic. When epistemically reasoning about opponents’argumentative information, modal logic can be built over argumentation. Forchecking the strategic properties of coalitions of agents, argumentation is putinside modal logic so that the coalition can enlarge according to the theory ofcoalitional argumentation.
Fil: Chesñevar, Carlos Iván. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Fil: Dix, Jurgen. Universidad Tecnica de Clausthal; Alemania
Fil: Liao, Beishui. Zhejiang University; China
Fil: Luo, Jieting. Zhejiang University; China
Fil: Proietti, Carlo. Consiglio Nazionale delle Ricerche; Italia
Fil: Yuste Ginel, Antonio. Universidad Complutense de Madrid; España
Materia
MODAL LOGIC
ARGUMENTATION
DEFEASIBLE REASONING
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/290361
Acceder
id CONICETDig_01e138929f67ba8bede7b6548af8abf7
oai_identifier_str oai:ri.conicet.gov.ar:11336/290361
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Formal argumentation and modal logicChesñevar, Carlos IvánDix, JurgenLiao, BeishuiLuo, JietingProietti, CarloYuste Ginel, AntonioMODAL LOGICARGUMENTATIONDEFEASIBLE REASONINGhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1In this article we analyse three different lines of work to combine modal logicand argumentation: a) a logic-based framework that combines dynamic logicand argumentation for value-based planning; b) alternating-time temporal logicextended with coalitional argumentation; c) different combined approaches forintegrating epistemic logics and argumentation. These three alternatives willhelp the reader to understand different interplays that can take place whencombining argumentation and modal logic. On the one hand, we show thatargumentation systems can be combined with very different readings of modaloperators (i.e., dynamic, temporal and epistemic). On the other hand, modallogic and argumentation can be used in different relative positions. When representing and reasoning about plans, modal logic is applied for the reasoningon the object level and a structured argumentation framework is built on themeta-level over modal logic. When epistemically reasoning about opponents’argumentative information, modal logic can be built over argumentation. Forchecking the strategic properties of coalitions of agents, argumentation is putinside modal logic so that the coalition can enlarge according to the theory ofcoalitional argumentation.Fil: Chesñevar, Carlos Iván. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; ArgentinaFil: Dix, Jurgen. Universidad Tecnica de Clausthal; AlemaniaFil: Liao, Beishui. Zhejiang University; ChinaFil: Luo, Jieting. Zhejiang University; ChinaFil: Proietti, Carlo. Consiglio Nazionale delle Ricerche; ItaliaFil: Yuste Ginel, Antonio. Universidad Complutense de Madrid; EspañaCollege Publications2025-09info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/290361Chesñevar, Carlos Iván; Dix, Jurgen; Liao, Beishui; Luo, Jieting; Proietti, Carlo; et al.; Formal argumentation and modal logic; College Publications; IfCoLoG journal of logics and their applications; 12; 3; 9-2025; 826-8922055-3714CONICET DigitalCONICETenginfo:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2026-08-25T14:55:22Zoai:ri.conicet.gov.ar:11336/290361instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982026-08-25 14:55:22.614CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Formal argumentation and modal logic
title Formal argumentation and modal logic
spellingShingle Formal argumentation and modal logic
Chesñevar, Carlos Iván
MODAL LOGIC
ARGUMENTATION
DEFEASIBLE REASONING
title_short Formal argumentation and modal logic
title_full Formal argumentation and modal logic
title_fullStr Formal argumentation and modal logic
title_full_unstemmed Formal argumentation and modal logic
title_sort Formal argumentation and modal logic
dc.creator.none.fl_str_mv Chesñevar, Carlos Iván
Dix, Jurgen
Liao, Beishui
Luo, Jieting
Proietti, Carlo
Yuste Ginel, Antonio
author Chesñevar, Carlos Iván
author_facet Chesñevar, Carlos Iván
Dix, Jurgen
Liao, Beishui
Luo, Jieting
Proietti, Carlo
Yuste Ginel, Antonio
author_role author
author2 Dix, Jurgen
Liao, Beishui
Luo, Jieting
Proietti, Carlo
Yuste Ginel, Antonio
author2_role author
author
author
author
author
dc.subject.none.fl_str_mv MODAL LOGIC
ARGUMENTATION
DEFEASIBLE REASONING
topic MODAL LOGIC
ARGUMENTATION
DEFEASIBLE REASONING
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv In this article we analyse three different lines of work to combine modal logicand argumentation: a) a logic-based framework that combines dynamic logicand argumentation for value-based planning; b) alternating-time temporal logicextended with coalitional argumentation; c) different combined approaches forintegrating epistemic logics and argumentation. These three alternatives willhelp the reader to understand different interplays that can take place whencombining argumentation and modal logic. On the one hand, we show thatargumentation systems can be combined with very different readings of modaloperators (i.e., dynamic, temporal and epistemic). On the other hand, modallogic and argumentation can be used in different relative positions. When representing and reasoning about plans, modal logic is applied for the reasoningon the object level and a structured argumentation framework is built on themeta-level over modal logic. When epistemically reasoning about opponents’argumentative information, modal logic can be built over argumentation. Forchecking the strategic properties of coalitions of agents, argumentation is putinside modal logic so that the coalition can enlarge according to the theory ofcoalitional argumentation.
Fil: Chesñevar, Carlos Iván. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Ciencias e Ingeniería de la Computación. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
Fil: Dix, Jurgen. Universidad Tecnica de Clausthal; Alemania
Fil: Liao, Beishui. Zhejiang University; China
Fil: Luo, Jieting. Zhejiang University; China
Fil: Proietti, Carlo. Consiglio Nazionale delle Ricerche; Italia
Fil: Yuste Ginel, Antonio. Universidad Complutense de Madrid; España
description In this article we analyse three different lines of work to combine modal logicand argumentation: a) a logic-based framework that combines dynamic logicand argumentation for value-based planning; b) alternating-time temporal logicextended with coalitional argumentation; c) different combined approaches forintegrating epistemic logics and argumentation. These three alternatives willhelp the reader to understand different interplays that can take place whencombining argumentation and modal logic. On the one hand, we show thatargumentation systems can be combined with very different readings of modaloperators (i.e., dynamic, temporal and epistemic). On the other hand, modallogic and argumentation can be used in different relative positions. When representing and reasoning about plans, modal logic is applied for the reasoningon the object level and a structured argumentation framework is built on themeta-level over modal logic. When epistemically reasoning about opponents’argumentative information, modal logic can be built over argumentation. Forchecking the strategic properties of coalitions of agents, argumentation is putinside modal logic so that the coalition can enlarge according to the theory ofcoalitional argumentation.
publishDate 2025
dc.date.none.fl_str_mv 2025-09
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/290361
Chesñevar, Carlos Iván; Dix, Jurgen; Liao, Beishui; Luo, Jieting; Proietti, Carlo; et al.; Formal argumentation and modal logic; College Publications; IfCoLoG journal of logics and their applications; 12; 3; 9-2025; 826-892
2055-3714
CONICET Digital
CONICET
url http://hdl.handle.net/11336/290361
identifier_str_mv Chesñevar, Carlos Iván; Dix, Jurgen; Liao, Beishui; Luo, Jieting; Proietti, Carlo; et al.; Formal argumentation and modal logic; College Publications; IfCoLoG journal of logics and their applications; 12; 3; 9-2025; 826-892
2055-3714
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv College Publications
publisher.none.fl_str_mv College Publications
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1874774885361778688
score 13.265058

Publicaciones similares