On the Logic of Information Flow

@article{Barwise1995OnTL,
  title={On the Logic of Information Flow},
  author={K. Jon Barwise and Dov M. Gabbay and Chrysafis Hartonas},
  journal={Logic Journal of the IGPL},
  year={1995},
  volume={3},
  pages={7-50}
}
This paper is an investigation into the logic of information ow. The basic perspective is that logic ows in virtue of constraints (as in 7]), and that constraints classify channels connecting particulars (as in 8]). In this paper we explore some logics intended to model reasoning in the case of idealized information ow, that is, where the constraints involved are exceptionless. We look at this as a step toward the far more challenging task of understanding the logic of imperfect information ow… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 24 references

Constraints, Channels, and the Flow of Informa- tion", Indiana University Logic Group IULG-93-23, to appear in Situ- ation

  • J. Barwise
  • Theory and its Applications,
  • 1993
Highly Influential
15 Excerpts

Admissible Sets and Structures: A Approach to De- nability Theory, Springer-Verlag, Perspectives in Mathematical Logic

  • J. Barwise
  • 1975
Highly Influential
15 Excerpts

R

  • R. Routley
  • K. Meyer
  • 1972
Highly Influential
4 Excerpts

Partial Gaggles applied to Logics with Restricted Structural Rules", Indiana University Logic Group, Preprint Series, IULG-93-22

  • J. M. Dunn
  • 1993
Highly Influential
3 Excerpts

1971),Model Theory for In nitary Logic, North-Holland, Studies in Logic and the Foundations of Mathematics

  • H. J. Keisler
  • 1971
Highly Influential
3 Excerpts

An interpolation theorem for denumerably long sentences

  • E. Lopez-Escobar
  • Fund Math. LVII
  • 1965
Highly Influential
3 Excerpts

Labelled Deductive Systems: Principles and Ap- plications, Vol 1: Basic Principles to appear Oxford University Press. 56 1st draft Manuscript 1989, 2nd intermediate draft, University of Mu- nich

  • D. M. Gabbay
  • CIS Bericht 90-22,
  • 1995
1 Excerpt

Classical vs Nonclassical Logic", in Hand- book of Logic

  • D. M. Gabbay
  • Arti cial Intelligence and Logic Programming,
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…