Sesión Lógica y ComputabilidadÁlgebras Modales Dinámicas
EVA YANINA COMASTRI
INSTITUTO DE CIENCIAS BASICAS, UNSJ, ARGENTINA - Esta dirección de correo electrónico está siendo protegida contra los robots de spam. Necesita tener JavaScript habilitado para poder verlo.
En [3], Dimiter Vakarelov introduce una nueva lógica modal llamada LDM (Lógica con Modalidades Dinámicas). La cual contiene las siguientes modalidades:
\(\Box^{\forall}\) (siempre es necesario)
\(\Box^{\exists}\) (a veces es necesario)
\(\diamondsuit^{\forall}\) (siempre es posible)
\(\diamondsuit^{\exists}\) (a veces es posible)
En este trabajo se introducirán las álgebras modales dinámicas y se exhibirán diversos ejemplos. Posteriormente, se estudiarán las estructuras relacionales asociadas a dichas álgebras.
Trabajo en conjunto con: Dr. Carlos Gallardo (Universidad Nacional del Sur, Argentina) y Dr. Gustavo Pelaitay (Universidad Nacional de San Juan- CONICET, Argentina).
Referencias
[1] Fischer, M., Ladner, R.: Propositional dynamic logic of regular programs. Journal of Computer and System Sciences 18, 194-211 (1979).
[2] Rybakov, V.V.: Temporal logic with interacting agents. Journal of Applied Non-Classical Logics 18, 293-308 (2008).
[3] Vakarelov, D.: Dynamic modalities. Studia Logica 100, 385-397 (2012).