You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

A NEW INCOMPLETENESS RESULT IN KRIPKE SEMANTICS

Article type: Research Article

Authors: Gasquet, Olivier

Affiliations: IRIT, 118 route de Narbonne, F-31062 Toulouse Cedex, France

Abstract: We prove that a natural and simple predicate modal logic with the Barcan formula, namely QBF-KD plus the axiom of density, is not Kripke complete. Although incompleteness results are known in Kripke semantics, most of the methods used can only apply to logics stronger than QBF-S4 as they are based in a translation from intermediate logics. We give here an original proof of this incompleteness result.

DOI: 10.3233/FI-1995-2445

Journal: Fundamenta Informaticae, vol. 24, no. 4, pp. 407-415, 1995

Published: 1995
Price: EUR 27.50
Show more