15 found
Sort by:
  1. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  2. 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)  
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. J. F. A. K. Benthem (1979). What is Dialectical Logic? Erkenntnis 14 (3):333 - 347.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. J. F. A. K. Van Benthem (1979). Canonical Modal Logics and Ultrafilter Extensions. Journal of Symbolic Logic 44 (1):1 - 8.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. J. F. A. K. Van Benthem (1979). Syntactic Aspects of Modal Incompleteness Theorems. Theoria 45 (2):63-77.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. J. F. A. K. Benthem (1978). Four Paradoxes. Journal of Philosophical Logic 7 (1):49 - 72.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. J. F. A. K. Benthem (1978). Ramsey Eliminability. Studia Logica 37 (4):321 - 336.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. J. F. A. K. Benthem (1978). Two Simple Incomplete Modal Logics. Theoria 44 (1):25-37.
  10. 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)  
     
    My bibliography  
     
    Export citation  
  11. 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)  
     
    My bibliography  
     
    Export citation  
  12. 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)  
     
    My bibliography  
     
    Export citation  
  13. J. F. A. K. Van Benthem (1976). Modal Reduction Principles. Journal of Symbolic Logic 41 (2):301 - 312.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  15. J. F. A. K. Benthem (1974). Hintikka on Analyticity. Journal of Philosophical Logic 3 (4):419 - 431.