7 found
Order:
See also
Jeremy Seligman
University of Auckland
  1.  97
    Information Flow: The Logic of Distributed Systems.Jon Barwise & Jerry Seligman - 1997 - Cambridge University Press.
    Presents a mathematically rigorous, philosophically sound foundation for a science of information.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   85 citations  
  2.  53
    Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  3.  42
    The Rights and Wrongs of Natural Regularity.Jon Barwise & Jerry Seligman - 1994 - Philosophical Perspectives 8:331-364.
  4. What Are Hybrid Languages?Patrick Blackburn & Jerry Seligman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 41-62.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  5. What Are Hybrid Languages?Patrick Blackburn & Jerry Seligman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 1. CSLI Publications. pp. 41-62.
    No categories
     
    Export citation  
     
    Bookmark   7 citations  
  6.  47
    Logic, Language and Computation.Jerry Seligman & Dag Westerstahl (eds.) - 1996 - Center for the Study of Language and Inf.
    This volume presents work that evolved out of the Third Conference on Situation Theory and Its Applications, held at Oiso, Japan, in November of 1991. The chapters presented in this volume continue the mathematical development of situation theory, including the introduction of a graphical notation; and the applications of situation theory discussed are wide-ranging, including topics in natural language semantics and philosophical logic, and exploring the use of information theory in the social sciences. The research presented in this volume reflects (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  13
    Preface.Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):175-176.