10 found
Order:
Disambiguations
J. F. A. K. Benthem [8]J. F. A. K. Van Benthem [3]
  1.  37
    Transitivity Follows From Dummett's Axiom.J. F. A. K. Van Benthem & W. J. Blok - 1978 - Theoria 44 (2):117-118.
  2.  31
    Two Simple Incomplete Modal Logics.J. F. A. K. Benthem - 1978 - Theoria 44 (1):25-37.
  3.  24
    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  
     
    Bookmark   5 citations  
  4.  28
    What is Dialectical Logic?J. F. A. K. Benthem - 1979 - Erkenntnis 14 (3):333 - 347.
  5.  28
    Ramsey Eliminability.J. F. A. K. Benthem - 1978 - Studia Logica 37 (4):321 - 336.
  6.  29
    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  
     
    Bookmark  
  7.  18
    Four Paradoxes.J. F. A. K. Benthem - 1978 - Journal of Philosophical Logic 7 (1):49 - 72.
  8.  39
    Hintikka on Analyticity.J. F. A. K. Benthem - 1974 - Journal of Philosophical Logic 3 (4):419 - 431.
  9.  10
    Modal Formulas Are Either Elementary or Not $SigmaDelta$-Elementary.J. F. A. K. Van Benthem - 1976 - Journal of Symbolic Logic 41 (2):436-438.
  10.  8
    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 -.