Files

tfg_emma_amaro_velasco.pdf (630.55 KB)

Document type

Bachelor thesis

Publication date

2023-06-12

Publication license

cc-by-nc-nd (c) Emma Amaro Velasco, 2023
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/202222

Un primer contacte amb la lògica temporal

Journal Title

Authors

Director/Tutor

Additional contribution

Journal ISSN

Volume Title

Abstract

[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.

Description

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

Related resource

Subject

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

Subject (English)

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

Citation

Collections

Treballs Finals de Grau (TFG) - Matemàtiques

Citation

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

Export metadata

JSON - METS

Share record