25 found
Sort by:
  1. J. F. A. K. van Benthem (2003). Logica Voor Informatica.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. J. F. A. K. van Benthem & Alice G. B. ter Meulen (1997). Handbook of Logic and Language. Monograph Collection (Matt - Pseudo).
  3. J. F. A. K. van Benthem (ed.) (1996). Logic and Argumentation. North-Holland.
     
    My bibliography  
     
    Export citation  
  4. J. F. A. K. van Benthem (1996). Logic and Argumentation Proceedings of the Colloquium, 'Logic and Argumentation', Amsterdam, 14-17 June 1994. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  5. J. F. A. K. van Benthem (1995). Language in Action Categories, Lambdas and Dynamic Logic. Monograph Collection (Matt - Pseudo).
     
    My bibliography  
     
    Export citation  
  6. 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 (5 more)  
     
    My bibliography  
     
    Export citation  
  7. J. F. A. K. van Benthem (1991). The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse. Kluwer Academic Publishers.
  8. Renate Bartsch, J. F. A. K. van Benthem & P. van Emde Boas (eds.) (1989). Semantics and Contextual Expression. Foris Publications.
     
    My bibliography  
     
    Export citation  
  9. J. F. A. K. van Benthem (1988). A Manual of Intensional Logic. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. J. F. A. K. van Benthem (1986). Essays in Logical Semantics. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. J. F. A. K. van Benthem (1986). Ontology of Situations. Foundations and Applications. Studia Logica 45 (2):226-229.
     
    My bibliography  
     
    Export citation  
  12. J. F. A. K. van Benthem (1983). Modal Logic and Classical Logic. Distributed in the U.S.A. By Humanities Press.
  13. J. F. A. K. van Benthem & I. L. Humberstone (1983). Halldén-Completeness by Gluing of Kripke Frames. Notre Dame Journal of Formal Logic 24 (4):426-430.
    We give in this paper a sufficient condition, cast in semantic terms, for Hallden-completeness in normal modal logics, a modal logic being said to be Hallden-complete (or Ήallden-reasonable') just in case for any disjunctive formula provable in the logic, where the disjuncts have no propositional variables in common, one or other of those disjuncts is provable in the logic.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. J. F. A. K. van Benthem (1980). Some Kinds of Modal Completeness. Studia Logica 39 (2):125-141.
    In the modal literature various notions of "completeness" have been studied for normal modal logics. Four of these are defined here, viz. 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 and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. J. F. A. K. Van Benthem (1979). Canonical Modal Logics and Ultrafilter Extensions. Journal of Symbolic Logic 44 (1):1-8.
  16. J. F. A. K. van Benthem (1979). Syntactic aspects of modal incompleteness theorems. Theoria 45 (2):63.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. J. F. A. K. van Benthem (1979). What Is Dialectical Logic? Erkenntnis 14 (3):333-347.
    No categories
     
    My bibliography  
     
    Export citation  
  18. J. F. A. K. van Benthem (1978). Four Paradoxes. Journal of Philosophical Logic 7 (1):49-72.
     
    My bibliography  
     
    Export citation  
  19. J. F. A. K. Van Benthem (1978). Ramsey Eliminability. Studia Logica 37 (4):321-336.
  20. J. F. A. K. van Benthem (1978). Transitivity follows from Dummett's axiom. Theoria 44 (2):117.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  21. J. F. A. K. van Benthem (1978). Two simple incomplete modal logics. Theoria 44 (1):25.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  22. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  23. J. F. A. K. Van Benthem (1976). Modal Reduction Principles. Journal of Symbolic Logic 41 (2):301-312.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  24. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  25. J. F. A. K. van Benthem (1974). Hintikka on Analyticity. Journal of Philosophical Logic 3 (4):419-431.
     
    My bibliography  
     
    Export citation