PP200122: Corsi, Giovanna (2001) A Unifying Completeness Theorem in Quantified Modal logic. [Report]
Text (Full Text)
PP200122.text.ps.gz Download (137kB) 

Text (Abstract)
PP200122.abstract.txt Download (709B) 
Abstract
A general strategy for proving completeness theorems for quantified
modal logics is provided. Starting from free quantified modal logic
K, with or without identity, extensions obtained either by adding
the principle of universal instantiation or the converse of the
Barcan formula or the Barcan formula are considered and proved
complete in a uniform way. Completeness theorems are also shown
for systems with the extended Barcan rule as well as for some
quantified extensions of the propositional modal logic B. The
incompleteness of Q'.B+BF is proved too.
Item Type:  Report 

Report Nr:  PP200122 
Series Name:  Prepublication (PP) Series 
Year:  2001 
Uncontrolled Keywords:  quantified modal logic, Kripke semantics, completeness 
Subjects:  Logic 
Date Deposited:  12 Oct 2016 14:36 
Last Modified:  12 Oct 2016 14:36 
URI:  https://eprints.illc.uva.nl/id/eprint/63 
Actions (login required)
View Item 