A unified completeness theorem for quantified modal logics
2002 ◽
Vol 67
(4)
◽
pp. 1483-1510
◽
Keyword(s):
AbstractA 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 modal logic B. The incompleteness of Q°.B + BF is also proved.
Keyword(s):
2005 ◽
Vol 11
(3)
◽
pp. 428-438
◽
Keyword(s):
Keyword(s):
1988 ◽
Vol 34
(3)
◽
pp. 251-259
◽
2014 ◽
Vol 7
(3)
◽
pp. 439-454
◽
Keyword(s):
Keyword(s):
2012 ◽
Vol 66
(1-4)
◽
pp. 81-129
◽