28 found
Order:
  1.  16
    Essays in Logical Semantics.J. F. A. K. van Benthem - 1986
    Direct download  
     
    Export citation  
     
    Bookmark   47 citations  
  2.  39
    Modal Logic and Classical Logic.J. F. A. K. van Benthem - 1983 - Distributed in the U.S.A. By Humanities Press.
  3. Language in Action Categories, Lambdas and Dynamic Logic.J. F. A. K. van Benthem - 1995
     
    Export citation  
     
    Bookmark   10 citations  
  4.  29
    Modal Reduction Principles.J. F. A. K. van Benthem - 1976 - Journal of Symbolic Logic 41 (2):301-312.
  5.  74
    The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse.J. F. A. K. van Benthem - 1991 - Kluwer Academic Publishers.
  6.  15
    Ramsey Eliminability.J. F. A. K. van Benthem - 1978 - Studia Logica 37 (4):321-336.
  7. Handbook of Logic and Language.J. F. A. K. van Benthem & Alice G. B. ter Meulen - 1997
  8.  41
    Syntactic Aspects of Modal Incompleteness Theorems.J. F. A. K. van Benthem - 1979 - Theoria 45 (2):63-77.
  9.  10
    What Is Dialectical Logic?J. F. A. K. van Benthem - 1979 - Erkenntnis 14 (3):333-347.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10. Two simple incomplete modal logics.J. F. A. K. van Benthem - 1978 - Theoria 44 (1):25.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  11.  34
    Canonical Modal Logics and Ultrafilter Extensions.J. F. A. K. van Benthem - 1979 - Journal of Symbolic Logic 44 (1):1-8.
  12.  16
    A Note on Modal Formulae and Relational Properties.J. F. A. K. van Benthem - 1975 - Journal of Symbolic Logic 40 (1):55-58.
  13.  6
    Halldén-Completeness by Gluing of Kripke Frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  6
    The Logic of Time. A Model-Theoretic Investigation Into the Varieties of Temporal Antology and Temporal Discourse.Steven T. Kuhn & J. F. A. K. van Benthem - 1987 - Journal of Symbolic Logic 52 (3):874.
  15.  7
    Some Kinds of Modal Completeness.J. F. A. K. van Benthem - 1980 - 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  
     
    Bookmark   6 citations  
  16.  8
    Four Paradoxes.J. F. A. K. van Benthem - 1978 - Journal of Philosophical Logic 7 (1):49-72.
  17.  5
    Modal Formulas Are Either Elementary or Not ΣΔ-Elementary.J. F. A. K. van Benthem - 1976 - Journal of Symbolic Logic 41 (2):436-438.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  18
    Modal Formulas Are Either Elementary or Not Σδ-Elementary.F. A. K. Van Benthem J. - 1976 - Journal of Symbolic Logic 41 (2):436-438.
  19. Logic and Argumentation.J. F. A. K. van Benthem (ed.) - 1996 - North-Holland.
     
    Export citation  
     
    Bookmark   1 citation  
  20. The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse.J. F. A. K. van Benthem - 1984 - Journal of Philosophical Logic 13 (3):235-248.
     
    Export citation  
     
    Bookmark   2 citations  
  21. Transitivity follows from Dummett's axiom.J. F. A. K. van Benthem - 1978 - Theoria 44 (2):117.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  22.  4
    Critical Notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  17
    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.
  24.  6
    Hintikka on Analyticity.J. F. A. K. van Benthem - 1974 - Journal of Philosophical Logic 3 (4):419-431.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. Semantics and Contextual Expression.Renate Bartsch, J. F. A. K. van Benthem & P. van Emde Boas (eds.) - 1989 - Foris Publications.
     
    Export citation  
     
    Bookmark  
  26. Logic and Argumentation Proceedings of the Colloquium, 'Logic and Argumentation', Amsterdam, 14-17 June 1994.J. F. A. K. van Benthem - 1996
     
    Export citation  
     
    Bookmark  
  27. Logica Voor Informatica.J. F. A. K. van Benthem - 2003
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. Ontology of Situations. Foundations and Applications.J. F. A. K. van Benthem - 1986 - Studia Logica 45 (2):226-229.
     
    Export citation  
     
    Bookmark