Relation-changing modal logics

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:eng
Published: 2020
Subjects:
Online Access:http://hdl.handle.net/11086/15877
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.