Lógicas modales con operadores de cambio de accesibilidad

Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.

Bibliographic Details
Main Author: Fervari, Raúl Alberto
Other Authors: Areces, Carlos Eduardo
Format: doctoralThesis
Language:spa
Published: 2021
Subjects:
Online Access:http://hdl.handle.net/11086/19804
Description
Summary:Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.