Verificación formal en lógica modal

Verificación formal en lógica modal

Detalles Bibliográficos
Autor principal:	Prieto Larios, Estefanía
Otras Contribuciones:	Miranda Perea, Favio Ezequiel (Asesor)
Formato:	Tesis de licenciatura
Publicado:	México 2018
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000776256 https://tesiunamdocumentos.dgb.unam.mx/ptd2018/julio/0776256/Index.html

Ejemplares similares

Verificación formal de programas con lógicas de separación
por: Medina Martínez, Diego Roberto
Publicado: (2021)

Logica modal escolastica
por: Campos Benítez, Juan Manuel
Publicado: (2003)

Lógica modal : una sintaxis y una semántica
por: Loustalot Knapp, Daniela
Publicado: (2019)

Estructura logica de los sistemas normativos (un ensayo de logica modal)
por: Estudillo Ponce, Ma. Silvia
Publicado: (1972)

Abducción y lógicas no clásicas : un acercamiento desde las lógicas adaptativas y la lógica modal
por: Leonides Jiménez, Laura Alicia
Publicado: (2011)

Deducción natural en lógica modal : una implementación en Coq
por: Linares Arévalo, Pilar Selene
Publicado: (2015)

Teoremas de representación para las lógicas intuicionista y modal
por: Chávez Aguilera, Cecilia
Publicado: (2017)

Sistema de árboles de hipersecuentes para la lógica modal graduada
por: López Villafán, Luis Ricardo
Publicado: (2024)

Verificación formal de árboles rojinegros
por: Hernández Chiapa, David Felipe
Publicado: (2021)

Lógica modal, paradojas de indiscernibilidad y teorías esencialistas
por: Romero Castillo, Carlos Alberto
Publicado: (2010)

Logica medieval explicada por Euler, antecedente de la logica formal
por: Villanueva Ledesma, José
Publicado: (2002)

Verificación formal del zipper relacional simétrico
por: Galicia Mendoza, Fernando Abigail
Publicado: (2018)

Una relación entre las lógicas modales y el enfoque topológico del cómputo distribuido
por: Velázquez Cervantes, Diego Alejandro
Publicado: (2019)

Notas sobre la Logica Modal y el Empirismo Contemporaneo
por: Lara Vargas, Cuauhtemoc
Publicado: (1983)

Verificación de modelos para lógica híbrida de tiempo ramificado
por: Vázquez Sandoval, Itzel
Publicado: (2009)

Verificación formal del cálculo λSF en Coq
por: Torres Ruiz, Mateo Alberto
Publicado: (2019)

Los Conceptos modales en la ciencia de la lógica de Hegel
por: Bautista Rodríguez, Ángel Gustavo
Publicado: (2018)

Editor logico para ayuda de deducciones formales en logica
por: Perez Gonzalez, Simon
Publicado: (1990)

Verificación simbólica de redes genéticas mediante una lógica temporal híbrida
por: Argil Torres, José Julián
Publicado: (2009)

El sistema axiomatico en la logica formal desde Aristoteles hasta Frege
por: Ramos Izquierdo Muller, Eduardo Antonio
Publicado: (1976)

Verificación formal y programación certificada en COQ con Program : un ejemplo práctico
por: Carrillo Verduzco, Diego
Publicado: (2020)

Programas de orientados a estados : su relacion con programas logicas y lenguajes formales
por: Alvarez Manilla Villanueva, Mauricio
Publicado: (1995)

Método modal espectral basado en la regla de combinación modal C-SRSS (Complete Square Root of Sum of Squares)
por: García Sainz, Eloisa
Publicado: (2017)

Centro de intercambio modal Tepepan
por: Patino, Carlos A.
Publicado: (1985)

Centro de transferencia modal Universidad
por: Rojas Sánchez, Jairo Javier
Publicado: (2017)

Centro de transferencia modal, Taxqueña
por: Pérez Arellano, Fabián
Publicado: (2016)

Verificacion Formal del Estado Social de Derecho en Mexico
por: Zarate Perez, José Humberto
Publicado: (1985)

Síntesis interactiva de programas con tipos modales
por: Omaña Silva, Sammantha
Publicado: (2021)

Centro de transferencia modal Indios Verdes
por: Nieves Vázquez, Alan
Publicado: (2017)

Equivalencia en lenguajes de programación modales para S4
por: Estrada Zavaleta, Ximena
Publicado: (2021)

Analisis modal y respuesta dinamica de rotores flexibles
por: Reyes Gonzalez, Pablo Rafael
Publicado: (1988)

CETRAM | Centro de Transferencia Modal Martín Carrera
por: López Robles, Alejandra
Publicado: (2022)

Centro de transferencia modal Picacho : CETRAM "Picacho"
por: Rodríguez Cabrera, Ana Leticia
Publicado: (2013)

Deteccion de daño estrcutural mediante metodos de correlacion modal
por: Franco Ascencio, Gabriel de Jesus
Publicado: (2001)

Metodo de estimacion de parametros modales de una estructura
por: Huerta Carpizo, Carlos Humberto
Publicado: (2007)

Centro de transferencia modal (CETRAM) Huipulco : Estadio Azteca
por: Hernández Martínez, Jorge Alberto, et al.
Publicado: (2016)

Calculos de la difraccion en rejillas con el metodo modal
por: Arriola, Verónica
Publicado: (2003)

Logica matematica
por: Martinez Vega, Hilda
Publicado: (2000)

Logica infinitaria
por: Torres Falcon, Yolanda
Publicado: (1979)

Lógica matemática
por: Bustamante Ll., Enrique
Publicado: (1942)