Jeremy Seligman
Jeremy Seligman
Philosophy, The University of Auckland
Verified email at auckland.ac.nz - Homepage
TitleCited byYear
Information flow: the logic of distributed systems
J Barwise, J Seligman
Cambridge University Press, 1997
11331997
Hybrid languages
P Blackburn, J Seligman
Journal of Logic, Language and Information 4 (3), 251-272, 1995
2841995
Situation theory
J Seligman, LS Moss
Handbook of logic and language, 239-309, 1997
951997
Logical dynamics of belief change in the community
F Liu, J Seligman, P Girard
Synthese 191 (11), 2403-2431, 2014
732014
The rights and wrongs of natural regularity
J Barwise, J Seligman
Philosophical perspectives 8, 331-364, 1994
701994
Logic in the community
J Seligman, F Liu, P Girard
Indian Conference on Logic and Its Applications, 178-188, 2011
662011
The logic of correct description
J Seligman
Advances in intensional logic, 107-135, 1997
661997
Facebook and the epistemic logic of friendship
J Seligman, F Liu, P Girard
arXiv preprint arXiv:1310.6440, 2013
472013
Internalization: The case of hybrid logics
J Seligman
Journal of logic and computation 11 (5), 671-689, 2001
412001
Imperfect information flow
J Barwise, J Seligman
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993
361993
General dynamic dynamic logic.
P Girard, J Seligman, F Liu
Advances in modal logic 9, 239-260, 2012
322012
Perspectives: A relativistic approach to the theory of information
J Seligman
The University of Edinburgh, 1991
291991
A logical model of the dynamics of peer pressure
L Zhen, J Seligman
Electronic Notes in Theoretical Computer Science 278, 275-288, 2011
272011
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
252013
The Logic of Distributed Systems.
J Barwise
Cambridge Tracts in Theoretical Computer Science 44, 1997
241997
Channel theory: toward a mathematics of imperfect information flow
J Seligman, J Barwise
Unpublished manuscript, 1993
231993
Dynamic aspect trees
J Seligman, A Ter Meulen
Applied Logic: How, What and Why, 287-320, 1995
221995
A cut-free sequent calculus for elementary situated reasoning
J Seligman
201991
Perspectives in situation theory
J Seligman
R. Cooper et al.(Hrg.), 147-91, 1990
201990
Physical Situations and Information
J Seligman
Situation theory and its applications 26, 257, 1991
171991
The system can't perform the operation now. Try again later.
Articles 1–20