25 found
Order:
  1.  27
    Essays in Logical Semantics.J. F. A. K. van Benthem - 1986 - Springer.
    Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous semantics can (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   106 citations  
  2. Handbook of Logic and Language.J. F. A. K. Van Benthem, Johan van Benthem & Alice G. B. Ter Meulen (eds.) - 1997 - MIT Press.
    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   21 citations  
  3.  3
    Handbook of Logic and Language.J. F. A. K. Van Benthem & Alice G. B. Ter Meulen (eds.) - 1997 - MIT Press.
    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   13 citations  
  4.  22
    Ramsey Eliminability.J. F. A. K. van Benthem - 1978 - Studia Logica 37 (4):321-336.
  5. 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   14 citations  
  6. Two simple incomplete modal logics.J. F. A. K. van Benthem - 1978 - Theoria 44 (1):25.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   11 citations  
  7.  37
    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   10 citations  
  8.  48
    Syntactic Aspects of Modal Incompleteness Theorems.J. F. A. K. van Benthem - 1979 - Theoria 45 (2):63-77.
  9.  14
    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.  7
    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   10 citations  
  11.  19
    A Note on Modal Formulae and Relational Properties.J. F. A. K. van Benthem - 1975 - Journal of Symbolic Logic 40 (1):55-58.
  12.  11
    Four Paradoxes.J. F. A. K. Van Benthem - 1978 - Journal of Philosophical Logic 7 (1):49-72.
  13. Logic and Argumentation.J. F. A. K. van Benthem (ed.) - 1984 - North-Holland.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  14.  10
    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  
  15. Transitivity follows from Dummett's axiom.J. F. A. K. van Benthem - 1978 - Theoria 44 (2):117.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  16.  33
    Modal Reduction Principles.J. F. A. K. van Benthem - 1976 - Journal of Symbolic Logic 41 (2):301-312.
  17.  9
    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.
  18.  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  
  19.  23
    Modal Formulas Are Either Elementary or Not Σδ-Elementary.F. A. K. Van Benthem J. - 1976 - Journal of Symbolic Logic 41 (2):436-438.
  20.  4
    Semantics and Contextual Expression.Renate Bartsch, J. F. A. K. van Benthem & P. van Emde Boas (eds.) - 1989 - Foris Publications.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. 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  
  22. Ontology of Situations. Foundations and Applications.J. F. A. K. van Benthem - 1986 - Studia Logica 45 (2):226-229.
     
    Export citation  
     
    Bookmark  
  23.  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.
  24.  6
    Critical Notice.J. F. A. K. van Benthem - 1979 - Synthese 40 (2):353-373.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    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