Buscar
Mostrando ítems 1-2 de 2
Ponencia
Tratamiento multimodal de contextos
(Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
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 ...
Ponencia
Sobre constructivismo y lógica epistémica dinámica
(Universitat de Barcelona, 2015)