Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Fitxers

tfg_emma_amaro_velasco.pdf (630.55 KB)

Tipus de document

Treball de fi de grau

Data de publicació

2023-06-12

Llicència de publicació

cc-by-nc-nd (c) Emma Amaro Velasco, 2023
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/202222

Un primer contacte amb la lògica temporal

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

[en] Temporal logic is a field of study full of interest both in theory and in practice. In this report we will introduce a propositional temporal logic and a temporal first order logic while comparing the properties each one holds. We will show completeness and decidability for the first one, and the completeness of certain fragments and nondecidability for the second. Finally, we will present the PLTL logic, used in computer science, and we will explore a particular application: model checking.

Descripció

Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2023, Director: Joan Bagaria

Matèries

Temps (Lògica), Treballs de fi de grau, Lògica, Lògica matemàtica

Matèries (anglès)

Tense (Logic), Bachelor's theses, Logic, Mathematical logic

Citació

Col·leccions

Treballs Finals de Grau (TFG) - Matemàtiques

Citació

AMARO VELASCO, Emma. Un primer contacte amb la lògica temporal. [consulted: 14 of August of 2026]. Available at: https://hdl.handle.net/2445/202222

Exportar metadades

JSON - METS

Compartir registre