26 found
Order:
  1. J. F. A. K. van Benthem (1986). Essays in Logical Semantics. Monograph Collection (Matt - Pseudo).
    Direct download  
     
    Export citation  
     
    My bibliography   20 citations  
  2.  8
    J. F. A. K. van Benthem (1983). Modal Logic and Classical Logic. Distributed in the U.S.A. By Humanities Press.
  3. J. F. A. K. van Benthem & Alice G. B. ter Meulen (1997). Handbook of Logic and Language. Monograph Collection (Matt - Pseudo).
  4.  62
    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.
  5.  4
    J. F. A. K. Van Benthem (1978). Ramsey Eliminability. Studia Logica 37 (4):321-336.
  6.  3
    J. F. A. K. van Benthem (1978). Four Paradoxes. Journal of Philosophical Logic 7 (1):49-72.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  7. J. F. A. K. van Benthem (1995). Language in Action Categories, Lambdas and Dynamic Logic. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography   3 citations  
  8.  15
    J. F. A. K. Van Benthem (1979). Canonical Modal Logics and Ultrafilter Extensions. Journal of Symbolic Logic 44 (1):1-8.
  9. J. F. A. K. van Benthem (1978). Two simple incomplete modal logics. Theoria 44 (1):25.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   7 citations  
  10.  4
    J. F. A. K. van Benthem (1974). Hintikka on Analyticity. Journal of Philosophical Logic 3 (4):419-431.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11.  2
    J. F. A. K. van Benthem (1979). What Is Dialectical Logic? Erkenntnis 14 (3):333-347.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  12. J. F. A. K. van Benthem (1979). Syntactic aspects of modal incompleteness theorems. Theoria 45 (2):63.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   6 citations  
  13.  4
    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)  
     
    Export citation  
     
    My bibliography   4 citations  
  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 (2 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  15.  3
    J. F. A. K. Van Benthem (1976). Modal Reduction Principles. Journal of Symbolic Logic 41 (2):301-312.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  6
    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 (5 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  17.  1
    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 (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  18. J. F. A. K. van Benthem (1978). Transitivity follows from Dummett's axiom. Theoria 44 (2):117.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  19.  8
    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 (6 more)  
     
    Export citation  
     
    My bibliography  
  20. Renate Bartsch, J. F. A. K. van Benthem & P. van Emde Boas (eds.) (1989). Semantics and Contextual Expression. Foris Publications.
     
    Export citation  
     
    My bibliography  
  21. Steven T. Kuhn & J. F. A. K. van Benthem (1987). The Logic of Time. A Model-Theoretic Investigation Into the Varieties of Temporal Antology and Temporal Discourse. Journal of Symbolic Logic 52 (3):874.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. J. F. A. K. van Benthem (ed.) (1996). Logic and Argumentation. North-Holland.
     
    Export citation  
     
    My bibliography  
  23. 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).
     
    Export citation  
     
    My bibliography  
  24. J. F. A. K. van Benthem (2003). Logica Voor Informatica.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  25. 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  
  26. J. F. A. K. van Benthem (1986). Ontology of Situations. Foundations and Applications. Studia Logica 45 (2):226-229.
     
    Export citation  
     
    My bibliography