11 found
Sort by:
  1. J. F. A. K. van Benthem (ed.) (1996). Logic and Argumentation. North-Holland.
     
    My bibliography  
     
    Export citation  
  2. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  3. 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.
    From reviews of the first edition: 'Overall this is an admirable work.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Renate Bartsch, J. F. A. K. van Benthem & P. van Emde Boas (eds.) (1989). Semantics and Contextual Expression. Foris Publications.
     
    My bibliography  
     
    Export citation  
  5. J. F. A. K. van Benthem (1983). Modal Logic and Classical Logic. Distributed in the U.S.A. By Humanities Press.
  6. 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  
  7. J. F. A. K. Van Benthem (1979). Canonical Modal Logics and Ultrafilter Extensions. Journal of Symbolic Logic 44 (1):1-8.
  8. J. F. A. K. Van Benthem (1978). Ramsey Eliminability. Studia Logica 37 (4):321-336.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  10. J. F. A. K. Van Benthem (1976). Modal Reduction Principles. Journal of Symbolic Logic 41 (2):301-312.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. 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 (3 more)  
     
    My bibliography  
     
    Export citation