Swap logic

Mostrar todas las versiones(2)

We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ability to invert pairs of related elements in the domain while traversing an edg...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Areces, Carlos Eduardo, Fervari, Raúl Alberto, Hoffmann, Guillaume Emmanuel
Formato: article
Lenguaje:Inglés
Publicado: 2021
Materias:
Modal logic
Dynamic logics
Expressivity
Complexity
Acceso en línea:http://hdl.handle.net/11086/20427
https://doi.org/10.1093/jigpal/jzt030
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares