Jerry Seligman

Publication Activity (10 Years)

Years Active: 1993-2001
Publications (10 Years): 0

Publications

Jerry Seligman
Internalization: The Case of Hybrid Logics. J. Log. Comput. 11 (5) (2001)
Patrick Blackburn, Jerry Seligman
What Are Hybrid Languages? Advances in Modal Logic (1996)
Patrick Blackburn, Jerry Seligman
Hybrid Languages. J. Log. Lang. Inf. 4 (3) (1995)
Jerry Seligman
Preface. J. Log. Lang. Inf. 4 (3) (1995)
Jon Barwise, Jerry Seligman
Imperfect information flow LICS (1993)