Relation-changing modal logics - Fervari, Raúl Alberto (2020)
Tesis (Doctor en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía y Física, 2014.