Search results for 'Dick H. J. Jongh' (try it on Scholar)

9 found
Sort by:
  1. Dick H. J. Jongh (1987). A Simplification of a Completeness Proof of Guaspari and Solovay. Studia Logica 46 (2):187 - 192.score: 2010.0
    The modal completeness proofs of Guaspari and Solovay (1979) for their systems R and R – are improved and the relationship between R and R – is clarified.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Dick H. J. Jongh & Franco Montagna (1987). Generic Generalized Rosser Fixed Points. Studia Logica 46 (2):193 - 203.score: 2010.0
    To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical (Solovay-type) completeness theorem with respect to PA is obtained for LR.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. D. M. Gabbay & D. H. J. De Jongh (1974). A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. Journal of Symbolic Logic 39 (1):67 - 78.score: 855.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. D. M. Gabbay & D. H. J. de Jongh (1974). A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. Journal of Symbolic Logic 39 (1):67-78.score: 85.5
  5. D. H. J. de Jongh & C. Smorynski (1976). Kripke Models and the Intuitionistic Theory of Species. Annals of Mathematical Logic 9 (1-2):157-186.score: 85.5
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. J. A. G. Groenendijk, Dick de Jongh & M. J. B. Stokhof (eds.) (1986/1987). Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers. Foris Publications.score: 81.0
    Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Marta Bílková, Dick de Jongh & Joost J. Joosten (2009). Interpretability In. Annals of Pure and Applied Logic 161 (2):128-138.score: 81.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. J. A. G. Groenendijk, Dick de Jongh & M. J. B. Stokhof (eds.) (1986/1987). Foundations of Pragmatics and Lexical Semantics. Providence, Ri, Usa,Foris Publications ;.score: 81.0
     
    My bibliography  
     
    Export citation  
  9. Joost J. Joosten & Albert Visser (2000). The Interpretability Logic of All Reasonable Arithmetical Theories. Erkenntnis 53 (1-2):3-26.score: 45.0
    This paper is a presentation of astatus quæstionis, to wit of the problemof the interpretability logic of all reasonablearithmetical theories.We present both the arithmetical side and themodal side of the question.Dedicated to Dick de Jongh on the occasion of his 60th birthday.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation