Buscar
Mostrando ítems 1-7 de 7
Artículo
Dynamic consequence and public announcement
(Cambridge University Press, 2013)
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)
Tesis Doctoral
Semántica formal a través de una teoría de la interpretación. Las partículas negativas lāpal en Ugarítico
(2012-12-17)
El tema fundamental de esta tesis doctoral es el análisis y la propuesta de una semántica formal para las partículas ugaríticas negativas . La semántica formal clarifica la semántica de una lengua y usa para ello herramientas ...
Tesis Doctoral
Negotiating with logical-linguistic protocols in a dialogical framework.
(2017-09-29)
EN EL SIGUIENTE ENLACE (https://idus.us.es/handle/11441/94042) ENCONTRARÁ DISPONIBLE EL MANUSCRITO DEL LIBRO CUYO CONTENIDO CONSTITUYE LA VERSIÓN MEJORADA DE ESTA TESIS. Even when, “nothing is new under the sun” (Eccl. ...
Tesis Doctoral
Tablas semánticas para lógica epistémica
(2011)
El término lógica epistémica puede ser entendido en dos sentidos. En el sentido más amplio, incluye el análisis tanto del concepto de conocimiento como del más débil concepto de creencia. Esta es la forma en que se usa en ...
Artículo
Programas moleculares y sistemas lógico-formales
(De Gruyter, 2012)
Presentamos una ejemplificación de la relación entre sistemas formales y programas moleculares de un modelo de computación molecular. Para ello, se asocia un sistema lógico-formal, mediante una lógica pura de segundo orden, ...