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 |