Resumen:
En esta tesis investigamos la sem´antica de lógica modal conocida como Neighbourhood Semantics. Existen dos definiciones alternativas que resultan en lógicas distintas, la primera de las cuales fue introducida por Montague y Scott en los años ‘70 (N=), y la segunda por van Benthem años más tarde (N⊆). Estudiamos y definimos la noción de bisimulación en ambas lógicas, siendo que N= resulta tener una bisimulación compleja. Para esta lógica analizamos dos extensiones buscando en cada caso la bisimulación correspondiente. Llegaremos a una noción de bisimulación intuitiva para una extensión cl´asica con la modalidad universal: N=(E). En la parte final del trabajo, estudiamos la complejidad computacional del problema de satisfacibilidad (SAT) en cada lógica. Mostramos que SAT-N⊆ estáen NP (y es por lo tanto NP-Complete), y que SAT-N=(E) está en EXP-Time.
Citación:
---------- APA ----------
Figueira, Diego Federico. (2006). Bisimulaciones en Neighbourhood semantics. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000294_Figueira
---------- CHICAGO ----------
Figueira, Diego Federico. "Bisimulaciones en Neighbourhood semantics". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2006.https://hdl.handle.net/20.500.12110/seminario_nCOM000294_Figueira
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000294_Figueira.pdf
Distrubución geográfica
