25 found
Order:
  1.  14
    Modal Logic and Classical Logic.J. F. A. K. van Benthem - 1983 - Distributed in the U.S.A. By Humanities Press.
  2. Essays in Logical Semantics.J. F. A. K. van Benthem - 1986
    Direct download  
     
    Export citation  
     
    My bibliography   20 citations  
  3. Handbook of Logic and Language.J. F. A. K. van Benthem & Alice G. B. ter Meulen - 1997
  4.  64
    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.
  5.  8
    Ramsey Eliminability.J. F. A. K. Van Benthem - 1978 - Studia Logica 37 (4):321-336.
  6. Language in Action Categories, Lambdas and Dynamic Logic.J. F. A. K. van Benthem - 1995
     
    Export citation  
     
    My bibliography   3 citations  
  7. Two simple incomplete modal logics.J. F. A. K. van Benthem - 1978 - Theoria 44 (1):25.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   7 citations  
  8.  4
    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  
     
    My bibliography   5 citations  
  9.  4
    Four Paradoxes.J. F. A. K. van Benthem - 1978 - Journal of Philosophical Logic 7 (1):49-72.
  10.  4
    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 (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  11.  23
    Canonical Modal Logics and Ultrafilter Extensions.F. A. K. Van Benthem J. - 1979 - Journal of Symbolic Logic 44 (1):1-8.
  12.  3
    What Is Dialectical Logic?J. F. A. K. van Benthem - 1979 - Erkenntnis 14 (3):333-347.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13.  8
    A Note on Modal Formulae and Relational Properties.F. A. K. van Benthem J. - 1975 - Journal of Symbolic Logic 40 (1):55-58.
  14.  3
    Modal Formulas Are Either Elementary or Not Σδ-Elementary.F. A. K. Van Benthem J. - 1976 - Journal of Symbolic Logic 41 (2):436-438.
  15.  7
    Modal Reduction Principles.F. A. K. Van Benthem J. - 1976 - Journal of Symbolic Logic 41 (2):301-312.
  16. Transitivity follows from Dummett's axiom.J. F. A. K. van Benthem - 1978 - Theoria 44 (2):117.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  17.  4
    Hintikka on Analyticity.J. F. A. K. van Benthem - 1974 - Journal of Philosophical Logic 3 (4):419-431.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  8
    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.
  19. Semantics and Contextual Expression.Renate Bartsch, J. F. A. K. van Benthem & P. van Emde Boas (eds.) - 1989 - Foris Publications.
     
    Export citation  
     
    My bibliography  
  20. 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.
  21. Logic and Argumentation.J. F. A. K. van Benthem (ed.) - 1996 - North-Holland.
     
    Export citation  
     
    My bibliography  
  22. Logic and Argumentation Proceedings of the Colloquium, 'Logic and Argumentation', Amsterdam, 14-17 June 1994.J. F. A. K. van Benthem - 1996
     
    Export citation  
     
    My bibliography  
  23. Logica Voor Informatica.J. F. A. K. van Benthem - 2003
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  24. 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  25. Ontology of Situations. Foundations and Applications.J. F. A. K. van Benthem - 1986 - Studia Logica 45 (2):226-229.
     
    Export citation  
     
    My bibliography