Information flow: the logic of distributed systems J Barwise, J Seligman Cambridge University Press, 1997 | 1377 | 1997 |
Hybrid languages P Blackburn, J Seligman Journal of Logic, Language and Information 4, 251-272, 1995 | 318 | 1995 |
Logical dynamics of belief change in the community F Liu, J Seligman, P Girard Synthese 191, 2403-2431, 2014 | 140 | 2014 |
Logic in the community J Seligman, F Liu, P Girard Indian conference on logic and its applications, 178-188, 2011 | 120 | 2011 |
Situation theory J Seligman, LS Moss Handbook of logic and language, 239-309, 1997 | 119 | 1997 |
Facebook and the epistemic logic of friendship J Seligman, F Liu, P Girard arXiv preprint arXiv:1310.6440, 2013 | 102 | 2013 |
The rights and wrongs of natural regularity J Barwise, J Seligman Philosophical perspectives 8, 331-364, 1994 | 81 | 1994 |
The logic of correct description J Seligman Advances in intensional logic, 107-135, 1997 | 75 | 1997 |
General dynamic dynamic logic J Seligman Advances in Modal Logic 2012, 2012 | 54 | 2012 |
Internalization: The case of hybrid logics J Seligman Journal of logic and computation 11 (5), 671-689, 2001 | 51 | 2001 |
A logical model of the dynamics of peer pressure L Zhen, J Seligman Electronic Notes in Theoretical Computer Science 278, 275-288, 2011 | 43 | 2011 |
Imperfect information flow J Barwise, J Seligman [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993 | 42 | 1993 |
Perspectives: A relativistic approach to the theory of information J Seligman The University of Edinburgh, 1991 | 33 | 1991 |
A note on freedom from detachment in the logic of paradox J Beall, T Forster, J Seligman | 29 | 2013 |
Perspectives in situation theory J Seligman HCRC Publications, University of Edinburgh, 1990 | 27 | 1990 |
Dynamic aspect trees J Seligman, AT Meulen Applied Logic: How, What and Why: Logical Approaches to Natural Language …, 1995 | 26 | 1995 |
Channel theory: toward a mathematics of imperfect information flow J Seligman, J Barwise Unpublished manuscript, 1993 | 24 | 1993 |
Channels: From logic to probability J Seligman Formal Theories of Information: From Shannon to Semantic Information Theory …, 2009 | 21 | 2009 |
A cut-free sequent calculus for elementary situated reasoning J Seligman HCRC Publications, University of Edinburgh, 1991 | 21 | 1991 |
When names are not commonly known: Epistemic logic with assignments Y Wang, J Seligman arXiv preprint arXiv:1805.03852, 2018 | 19* | 2018 |