Jeremy Seligman
Jeremy Seligman
Philosophy, The University of Auckland
Verified email at auckland.ac.nz - Homepage
Title
Cited by
Cited by
Year
Information flow: the logic of distributed systems
J Barwise, J Seligman
Cambridge University Press, 1997
12371997
Hybrid languages
P Blackburn, J Seligman
Journal of Logic, Language and Information 4 (3), 251-272, 1995
2921995
Situation theory
J Seligman, LS Moss
Handbook of logic and language, 239-309, 1997
1071997
Logical dynamics of belief change in the community
F Liu, J Seligman, P Girard
Synthese 191 (11), 2403-2431, 2014
972014
Logic in the community
J Seligman, F Liu, P Girard
Indian Conference on Logic and Its Applications, 178-188, 2011
802011
The rights and wrongs of natural regularity
J Barwise, J Seligman
Philosophical perspectives 8, 331-364, 1994
761994
The logic of correct description
J Seligman
Advances in intensional logic, 107-135, 1997
711997
Facebook and the epistemic logic of friendship
J Seligman, F Liu, P Girard
arXiv preprint arXiv:1310.6440, 2013
642013
Internalization: The case of hybrid logics
J Seligman
Journal of logic and computation 11 (5), 671-689, 2001
482001
General dynamic dynamic logic
J Seligman
Advances in Modal Logic 2012, 2012
452012
Imperfect information flow
J Barwise, J Seligman
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993
381993
Perspectives: A relativistic approach to the theory of information
J Seligman
The University of Edinburgh, 1991
331991
A logical model of the dynamics of peer pressure
L Zhen, J Seligman
Electronic Notes in Theoretical Computer Science 278, 275-288, 2011
302011
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
262013
The Logic of Distributed Systems.
J Barwise
Cambridge Tracts in Theoretical Computer Science 44, 1997
241997
Dynamic aspect trees
J Seligman, A Ter Meulen
Applied Logic: How, What and Why, 287-320, 1995
241995
Channel theory: toward a mathematics of imperfect information flow
J Seligman, J Barwise
Unpublished manuscript, 1993
231993
A cut-free sequent calculus for elementary situated reasoning
J Seligman
201991
Perspectives in situation theory
J Seligman
Situation Theory and its Applications, 147-91, 1990
201990
Channels: From logic to probability
J Seligman
Formal theories of information, 193-233, 2009
192009
The system can't perform the operation now. Try again later.
Articles 1–20