19 found
Order:
  1.  19
    Handbook of Logic and Language.J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.) - 1997 - Elsevier.
    This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of Logic and Linguistics goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around (...)
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  2.  35
    Ramsey eliminability.J. F. A. K. van Benthem - 1978 - Studia Logica 37 (4):321-336.
  3.  12
    Two simple incomplete modal logics.J. F. A. K. van Benthem - 1978 - Theoria 44 (1):25-37.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  4. 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   16 citations  
  5.  61
    Syntactic aspects of modal incompleteness theorems.J. F. A. K. van Benthem - 1979 - Theoria 45 (2):63-77.
  6.  56
    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   12 citations  
  7.  14
    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  
     
    Bookmark   11 citations  
  8.  26
    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   10 citations  
  9.  7
    Transitivity follows from Dummett's axiom.J. F. A. K. van Benthem - 1978 - Theoria 44 (2):117-118.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  28
    A note on modal formulae and relational properties.J. F. A. K. van Benthem - 1975 - Journal of Symbolic Logic 40 (1):55-58.
  11.  18
    Four Paradoxes.J. F. A. K. Van Benthem - 1978 - Journal of Philosophical Logic 7 (1):49-72.
  12.  18
    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   7 citations  
  13.  53
    Modal reduction principles.J. F. A. K. van Benthem - 1976 - Journal of Symbolic Logic 41 (2):301-312.
  14.  28
    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.  10
    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   5 citations  
  16.  11
    Critical notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    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   1 citation  
  18. Ontology of Situations. Foundations and Applications.J. F. A. K. van Benthem - 1986 - Studia Logica 45 (2):226-229.
     
    Export citation  
     
    Bookmark  
  19.  28
    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.