Tratamiento multimodal de contextos

We take as starting point the context logic studied in (Grossi, Meyer, and Dignum 2008) and (Aucher et al. 2009), which was concerned with the development of a dynamic logic of rules. Here we focus on issues of Formal Epistemology and omit the addition of deontic operators.We define some basic logics that are useful for the study of epistemic actions such as expanding, contracting or revising a theory taking into account different kinds of inferential results

Sobre constructivismo y lógica epistémica dinámica

Universidad de Sevilla V Plan Propio de Investigació

Información : tratamiento y representación

Ministerio de Ciencia y Tecnología PGC2000-2260-