Studia Logica 49 (2):197 - 214 (1990)
We illustrate, with three examples, the interaction between boolean and modal connectives by looking at the role of truth-functional reasoning in the provision of completeness proofs for normal modal logics. The first example (§ 1) is of a logic (more accurately: range of logics) which is incomplete in the sense of being determined by no class of Kripke frames, where the incompleteness is entirely due to the lack of boolean negation amongst the underlying non-modal connectives. The second example (§ 2) focusses on the breakdown, in the absence of boolean disjunction, of the usual canonical model argument for the logic of dense Kripke frames, though a proof of incompleteness with respect to the Kripke semantics is not offered. An alternative semantic account is developed, in terms of which a completeness proof can be given, and this is used (§ 3) in the discussion of the third example, a bimodal logic which is, as with the first example, provably incomplete in terms of the Kripke semantics, the incompleteness being due to the lack of disjunction (as a primitive or defined boolean connective).
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
On Engendering an Illusion of Understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
Propositional Logics Related to Heyting's and Johansson's.Krister Segerberg - 1968 - Theoria 34 (1):26-61.
Citations of this work BETA
For Want of an 'And': A Puzzle About Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.
Similar books and articles
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Completeness and Conservative Extension Results for Some Boolean Relevant Logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
Incompleteness and the Barcan Formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Logics for Classes of Boolean Monoids.Gerard Allwein, Hilmi Demir & Lee Pike - 2004 - Journal of Logic, Language and Information 13 (3):241-266.
Kripke Semantics for Modal Substructural Logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Kripke Incompleteness of Predicate Extensions of the Modal Logics Axiomatized by a Canonical Formula for a Frame with a Nontrivial Cluster.Tatsuya Shimura - 2000 - Studia Logica 65 (2):237-247.
Syntactical Results on the Arithmetical Completeness of Modal Logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Added to index2009-01-28
Total downloads39 ( #129,036 of 2,152,483 )
Recent downloads (6 months)3 ( #225,918 of 2,152,483 )
How can I increase my downloads?