# name
Aplicació dels models canònics a la demostració del teorema de completesa

# metadata.dc.description[].value
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2019, Director: Joan Gispert Brasó

# metadata.dc.description.abstract[].value
[en] Completeness theorem establishes a correspondence between semantic and syntactic
interpretations of mathematical logic. In this thesis we will construct canonical
models in order to prove the completeness of the weakest normal modal logic, K.
This construction will be useful to prove completeness theorems for other logics.

# metadata.dc.rights[].value
cc-by-nc-nd (c) Marta Planagumà Franco, 2019

# metadata.dc.source[].value
Treballs Finals de Grau (TFG) - Matemàtiques

# metadata.dc.title[].value
Aplicació dels models canònics a la demostració del teorema de completesa