| Information flow: the logic of distributed systems J Barwise, J Seligman Cambridge University Press, 1997 | 1133 | 1997 |
| Hybrid languages P Blackburn, J Seligman Journal of Logic, Language and Information 4 (3), 251-272, 1995 | 284 | 1995 |
| Situation theory J Seligman, LS Moss Handbook of logic and language, 239-309, 1997 | 95 | 1997 |
| Logical dynamics of belief change in the community F Liu, J Seligman, P Girard Synthese 191 (11), 2403-2431, 2014 | 73 | 2014 |
| The rights and wrongs of natural regularity J Barwise, J Seligman Philosophical perspectives 8, 331-364, 1994 | 70 | 1994 |
| Logic in the community J Seligman, F Liu, P Girard Indian Conference on Logic and Its Applications, 178-188, 2011 | 66 | 2011 |
| The logic of correct description J Seligman Advances in intensional logic, 107-135, 1997 | 66 | 1997 |
| Facebook and the epistemic logic of friendship J Seligman, F Liu, P Girard arXiv preprint arXiv:1310.6440, 2013 | 47 | 2013 |
| Internalization: The case of hybrid logics J Seligman Journal of logic and computation 11 (5), 671-689, 2001 | 41 | 2001 |
| Imperfect information flow J Barwise, J Seligman [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993 | 36 | 1993 |
| General dynamic dynamic logic. P Girard, J Seligman, F Liu Advances in modal logic 9, 239-260, 2012 | 32 | 2012 |
| Perspectives: A relativistic approach to the theory of information J Seligman The University of Edinburgh, 1991 | 29 | 1991 |
| A logical model of the dynamics of peer pressure L Zhen, J Seligman Electronic Notes in Theoretical Computer Science 278, 275-288, 2011 | 27 | 2011 |
| A note on freedom from detachment in the Logic of Paradox J Beall, T Forster, J Seligman Notre Dame Journal of Formal Logic 54 (1), 15-20, 2013 | 25 | 2013 |
| The Logic of Distributed Systems. J Barwise Cambridge Tracts in Theoretical Computer Science 44, 1997 | 24 | 1997 |
| Channel theory: toward a mathematics of imperfect information flow J Seligman, J Barwise Unpublished manuscript, 1993 | 23 | 1993 |
| Dynamic aspect trees J Seligman, A Ter Meulen Applied Logic: How, What and Why, 287-320, 1995 | 22 | 1995 |
| A cut-free sequent calculus for elementary situated reasoning J Seligman | 20 | 1991 |
| Perspectives in situation theory J Seligman R. Cooper et al.(Hrg.), 147-91, 1990 | 20 | 1990 |
| Physical Situations and Information J Seligman Situation theory and its applications 26, 257, 1991 | 17 | 1991 |
Patrick GirardUniversity of AucklandVerified email at auckland.ac.nz
