5 found
Sort by:
  1. Jon Barwise & Jerry Seligman (1997). Information Flow: The Logic of Distributed Systems. Cambridge University Press.
    Presents a mathematically rigorous, philosophically sound foundation for a science of information.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Jerry Seligman & Dag Westerståhl (eds.) (1996). Logic, Language and Computation. Csli Publications, Stanford.
  3. Patrick Blackburn & Jerry Seligman (1995). Hybrid Languages. Journal of Logic, Language and Information 4 (3):251-272.
    Hybrid languages have both modal and first-order characteristics: a Kripke semantics, and explicit variable binding apparatus. This paper motivates the development of hybrid languages, sketches their history, and examines the expressive power of three hybrid binders. We show that all three binders give rise to languages strictly weaker than the corresponding first-order language, that full first-order expressivity can be gained by adding the universal modality, and that all three binders can force the existence of infinite models and have undecidable satisfiability (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Jerry Seligman (1995). Preface. Journal of Logic, Language and Information 4 (3):175-176.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Jon Barwise & Jerry Seligman (1994). The Rights and Wrongs of Natural Regularity. Philosophical Perspectives 8:331-364.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation