15 found
Order:
  1.  22
    J. F. A. K. Van Benthem & W. J. Blok (1978). Transitivity Follows From Dummett's Axiom. Theoria 44 (2):117-118.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  2.  11
    J. F. A. K. Benthem (1979). Critical Notice. 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  
  3.  15
    J. F. A. K. Benthem (1980). Some Kinds of Modal Completeness. 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   3 citations  
  4.  12
    J. F. A. K. Benthem (1978). Ramsey Eliminability. Studia Logica 37 (4):321 - 336.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  32
    J. F. A. K. Benthem (1974). Hintikka on Analyticity. Journal of Philosophical Logic 3 (4):419 - 431.
  6.  18
    J. F. A. K. Benthem (1979). What is Dialectical Logic? Erkenntnis 14 (3):333 - 347.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  12
    J. F. A. K. Benthem (1978). Two Simple Incomplete Modal Logics. Theoria 44 (1):25-37.
  8.  2
    J. F. A. K. Van Benthem (1975). A Note on Modal Formulae and Relational Properties. Journal of Symbolic Logic 40 (1):55 - 58.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  9.  3
    J. F. A. K. Van Benthem (1976). Modal Reduction Principles. Journal of Symbolic Logic 41 (2):301 - 312.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  8
    J. F. A. K. Van Benthem (1979). Canonical Modal Logics and Ultrafilter Extensions. Journal of Symbolic Logic 44 (1):1 - 8.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  15
    J. F. A. K. Van Benthem (1979). Syntactic Aspects of Modal Incompleteness Theorems. Theoria 45 (2):63-77.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  12.  17
    J. F. A. K. Benthem (1978). Four Paradoxes. Journal of Philosophical Logic 7 (1):49 - 72.
  13.  2
    J. F. A. K. Van Benthem & H. J. B. M. Van Der Linden (1994). The European Association for Logic, Language, and Computation. Journal of Symbolic Logic 59 (3):1116 -.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  2
    J. F. A. K. Van Benthem (1976). Modal Formulas Are Either Elementary or Not ΣΔ-Elementary. Journal of Symbolic Logic 41 (2):436 - 438.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15. J. F. A. K. Van Benthem (1976). Modal Formulas Are Either Elementary or Not $SigmaDelta$-Elementary. Journal of Symbolic Logic 41 (2):436-438.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography