Please use this identifier to cite or link to this item:
https://hdl.handle.net/2445/202222Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.advisor | Bagaria, Joan | - |
| dc.contributor.author | Amaro Velasco, Emma | - |
| dc.date.accessioned | 2023-09-26T11:20:40Z | - |
| dc.date.available | 2023-09-26T11:20:40Z | - |
| dc.date.issued | 2023-06-12 | - |
| dc.identifier.uri | https://hdl.handle.net/2445/202222 | - |
| dc.description | Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2023, Director: Joan Bagaria | ca |
| dc.description.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. | ca |
| dc.format.extent | 48 p. | - |
| dc.format.mimetype | application/pdf | - |
| dc.language.iso | cat | ca |
| dc.rights | cc-by-nc-nd (c) Emma Amaro Velasco, 2023 | - |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ | * |
| dc.source | Treballs Finals de Grau (TFG) - Matemàtiques | - |
| dc.subject.classification | Temps (Lògica) | ca |
| dc.subject.classification | Treballs de fi de grau | - |
| dc.subject.classification | Lògica | ca |
| dc.subject.classification | Lògica matemàtica | ca |
| dc.subject.other | Tense (Logic) | en |
| dc.subject.other | Bachelor's theses | - |
| dc.subject.other | Logic | en |
| dc.subject.other | Mathematical logic | en |
| dc.title | Un primer contacte amb la lògica temporal | ca |
| dc.type | info:eu-repo/semantics/bachelorThesis | ca |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | ca |
| Appears in Collections: | Treballs Finals de Grau (TFG) - Matemàtiques | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| tfg_emma_amaro_velasco.pdf | Memòria | 630.55 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License
