Lógicas epistémicas basadas en habilidades

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

Guardado en:
Detalles Bibliográficos
Autor principal: Saravia, Andrés Román
Otros Autores: Fervari, Raúl Alberto
Formato: doctoralThesis
Lenguaje:Español
Publicado: 2024
Materias:
Teoría de la computación
Lógica
Lógica modal
Lógica y verificación
Epistémica
Habilidades
Incertidumbre
Deóntica
Dinámica
Sistemas de transiciones etiquetadas
Theory of computation
Logic
Modal logic
Logic and verification
Labeled transition systems
LTS
Acceso en línea:http://hdl.handle.net/11086/553701
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Ejemplares similares