28 found
Order:
  1.  18
    Essays in Logical Semantics.J. F. A. K. van Benthem - 1986
    Direct download  
     
    Export citation  
     
    Bookmark   75 citations  
  2.  41
    Modal Logic and Classical Logic.J. F. A. K. van Benthem - 1983 - Distributed in the U.S.A. By Humanities Press.
  3.  77
    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.
  4. Language in Action Categories, Lambdas and Dynamic Logic.J. F. A. K. van Benthem - 1995
     
    Export citation  
     
    Bookmark   15 citations  
  5. Handbook of Logic and Language.J. F. A. K. van Benthem & Alice G. B. ter Meulen (eds.) - 1997 - MIT Press.
  6.  17
    Ramsey Eliminability.J. F. A. K. van Benthem - 1978 - Studia Logica 37 (4):321-336.
  7.  45
    Syntactic Aspects of Modal Incompleteness Theorems.J. F. A. K. van Benthem - 1979 - Theoria 45 (2):63-77.
  8.  34
    Canonical Modal Logics and Ultrafilter Extensions.J. F. A. K. van Benthem - 1979 - Journal of Symbolic Logic 44 (1):1-8.
    In this paper thecanonicalmodal logics, a kind of complete modal logics introduced in K. Fine [4] and R. I. Goldblatt [5], will be characterized semantically using the concept of anultrafilter extension, an operation on frames inspired by the algebraic theory of modal logic. Theorem 8 of R. I. Goldblatt and S. K. Thomason [6] characterizing the modally definable Σ⊿-elementary classes of frames will follow as a corollary. A second corollary is Theorem 2 of [4] which states that any complete modal (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  9.  11
    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.  17
    A Note on Modal Formulae and Relational Properties.J. F. A. K. van Benthem - 1975 - Journal of Symbolic Logic 40 (1):55-58.
  11.  8
    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  
  12.  7
    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.
  13.  8
    Four Paradoxes.J. F. A. K. Van Benthem - 1978 - Journal of Philosophical Logic 7 (1):49-72.
  14.  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  
  15.  31
    Modal Reduction Principles.J. F. A. K. van Benthem - 1976 - Journal of Symbolic Logic 41 (2):301-312.
  16.  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  
  17.  18
    Modal Formulas Are Either Elementary or Not Σδ-Elementary.F. A. K. Van Benthem J. - 1976 - Journal of Symbolic Logic 41 (2):436-438.
  18. Semantics and Contextual Expression.Renate Bartsch, J. F. A. K. van Benthem & P. van Emde Boas (eds.) - 1989 - Foris Publications.
     
    Export citation  
     
    Bookmark  
  19.  6
    Critical Notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  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  
  21. Logic and Argumentation.J. F. A. K. van Benthem (ed.) - 1996 - North-Holland.
     
    Export citation  
     
    Bookmark   2 citations  
  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  
     
    Bookmark  
  23. Logica Voor Informatica.J. F. A. K. van Benthem - 2003
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Ontology of Situations. Foundations and Applications.J. F. A. K. van Benthem - 1986 - Studia Logica 45 (2):226-229.
     
    Export citation  
     
    Bookmark  
  25.  21
    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.
  26. Transitivity follows from Dummett's axiom.J. F. A. K. van Benthem - 1978 - Theoria 44 (2):117.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  27. 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   3 citations  
  28. Two simple incomplete modal logics.J. F. A. K. van Benthem - 1978 - Theoria 44 (1):25.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   9 citations