11 found
Order:
Disambiguations
J. F. A. K. Benthem [7]J. F. A. K. Van Benthem [4]
  1.  34
    Transitivity Follows From Dummett's Axiom.J. F. A. K. Van Benthem & W. J. Blok - 1978 - Theoria 44 (2):117-118.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  2.  20
    Some Kinds of Modal Completeness.J. F. A. K. Benthem - 1980 - Studia Logica 39 (2-3):125 - 141.
    In the modal literature various notions of completeness have been studied for normal modal logics. Four of these are defined here, viz. (plain) completeness, first-order completeness, canonicity and possession of the finite model property — and their connections are studied. Up to one important exception, all possible inclusion relations are either proved or disproved. Hopefully, this helps to establish some order in the jungle of concepts concerning modal logics. In the course of the exposition, the interesting properties of first-order definability (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  3.  25
    Critical Notice.J. F. A. K. Benthem - 1979 - Synthese 40 (2):353-373.
    Gabbay has gathered an enormous amount of results; some of them important and novel, others important but already known, many rather routine, however. The organization of this material shows grave defects, both in the exposition and in its logical structure. Intensional logic appears as a vast collection of (often duplicated) loosely connected results. This may be a true reflection of the present state of the subject, but it does not contribute to a better understanding of it, let alone advance it.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  4.  25
    Two Simple Incomplete Modal Logics.J. F. A. K. Benthem - 1978 - Theoria 44 (1):25-37.
  5.  18
    What is Dialectical Logic?J. F. A. K. Benthem - 1979 - Erkenntnis 14 (3):333 - 347.
  6.  17
    Ramsey Eliminability.J. F. A. K. Benthem - 1978 - Studia Logica 37 (4):321 - 336.
  7.  29
    Syntactic Aspects of Modal Incompleteness Theorems.Benthem J. F. A. K. Van - 1979 - Theoria 45 (2):63-77.
  8.  34
    Hintikka on Analyticity.J. F. A. K. Benthem - 1974 - Journal of Philosophical Logic 3 (4):419 - 431.
  9.  17
    Four Paradoxes.J. F. A. K. Benthem - 1978 - Journal of Philosophical Logic 7 (1):49 - 72.
  10.  2
    The European Association for Logic, Language, and Computation.J. F. A. K. Van Benthem & H. J. B. M. Van Der Linden - 1994 - Journal of Symbolic Logic 59 (3):1116 -.
  11. Modal Formulas Are Either Elementary or Not $SigmaDelta$-Elementary.J. F. A. K. Van Benthem - 1976 - Journal of Symbolic Logic 41 (2):436-438.