MoL-2013-15: Completeness proofs via canonical models on increasingly generalized settings

MoL-2013-15: Pico, Maurice (2013) Completeness proofs via canonical models on increasingly generalized settings. [Report]

Text (Full Text)

Download (1MB) | Preview
[img] Text (Abstract)

Download (845B)


In the present thesis we will expand Restall's completeness proof and present it on a wider context. He proposes an adaption of the completeness proof for constant domains predicate modal logic to the wider case of a distributive setting expanded with unary modal operators and enriched with constant domain quantification. The overall motivation stems from the pending problem of finding a clearer semantics for quantified relevance logics. First, unlike Restall's paper, soundness and the truth lemma are explicitly proved, in fact the overall proof is presented in a more clarified and structured way, in line with classic literature on modal completeness. Moreover, a flaw in the original proof is repaired.

Item Type: Report
Report Nr: MoL-2013-15
Series Name: Master of Logic Thesis (MoL) Series
Year: 2013
Uncontrolled Keywords: Logic; Mathematics
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38

Actions (login required)

View Item View Item