17 found
Sort by:
  1. J. F. A. K. van Benthem (2003). Logica Voor Informatica.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. J. F. A. K. van Benthem & Alice G. B. ter Meulen (1997). Handbook of Logic and Language. Monograph Collection (Matt - Pseudo).
    No categories
     
    My bibliography  
     
    Export citation  
  3. J. F. A. K. van Benthem (ed.) (1996). Logic and Argumentation. North-Holland.
     
    My bibliography  
     
    Export citation  
  4. J. F. A. K. van Benthem (1996). Logic and Argumentation Proceedings of the Colloquium, 'Logic and Argumentation', Amsterdam, 14-17 June 1994. Monograph Collection (Matt - Pseudo).
    No categories
     
    My bibliography  
     
    Export citation  
  5. J. F. A. K. van Benthem (1995). Language in Action Categories, Lambdas and Dynamic Logic. Monograph Collection (Matt - Pseudo).
    No categories
     
    My bibliography  
     
    Export citation  
  6. J. F. A. K. van Benthem & H. J. B. M. van der Linden (1994). The European Association for Logic, Language, and Computation. Journal of Symbolic Logic 59 (3):1116.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. J. F. A. K. van Benthem (1991). The Logic of Time: A Model-Theoretic Investigation Into the Varieties of Temporal Ontology and Temporal Discourse. Kluwer Academic Publishers.
  8. Renate Bartsch, J. F. A. K. van Benthem & P. van Emde Boas (eds.) (1989). Semantics and Contextual Expression. Foris Publications.
     
    My bibliography  
     
    Export citation  
  9. J. F. A. K. van Benthem (1988). A Manual of Intensional Logic. Monograph Collection (Matt - Pseudo).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. J. F. A. K. van Benthem (1986). Essays in Logical Semantics. Monograph Collection (Matt - Pseudo).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. J. F. A. K. van Benthem (1983). Modal Logic and Classical Logic. Distributed in the U.S.A. By Humanities Press.
  12. J. F. A. K. van Benthem & I. L. Humberstone (1983). Halldén-Completeness by Gluing of Kripke Frames. 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)  
     
    My bibliography  
     
    Export citation  
  13. J. F. A. K. Van Benthem (1979). Canonical Modal Logics and Ultrafilter Extensions. Journal of Symbolic Logic 44 (1):1-8.
  14. J. F. A. K. Van Benthem (1978). Ramsey Eliminability. Studia Logica 37 (4):321-336.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  15. J. F. A. K. Van Benthem (1976). Modal Formulas Are Either Elementary or Not Σδ-Elementary. Journal of Symbolic Logic 41 (2):436-438.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  16. J. F. A. K. Van Benthem (1976). Modal Reduction Principles. Journal of Symbolic Logic 41 (2):301-312.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. J. F. A. K. van Benthem (1975). A Note on Modal Formulae and Relational Properties. Journal of Symbolic Logic 40 (1):55-58.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation