131 research outputs found
Connexive logics. An overview and current trends
In this introduction, we offer an overview of main systems developed in the growing literature on connexive logic, and also point to a few topics that seem to be collecting attention of many of those interested in connexive logic. We will also make clear the context to which the papers in this special issue belong and contribute
Formal argumentation and epistemic logic: what can they do for each other?
Arguing and believing are two central cognitive dimensions of both human beings and artificial intelligent agents. The interrelation of these two notions (or groups of notions) is at the root of classic debates in epistemology and argumentation theory. During this
talk, we will critically review recent literature on combining two well-known families of formalisms that account respectively for argumentation and beliefs, these are, formal argumentation and epistemic logic. [...]Universidad de Málaga. Campus de Excelencia Internacional AndalucÃa Tech
- …