Skip to main content
SpringerLink
Log in

Thinking about Reasoning about Knowledge

  • Published:
Minds and Machines Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Ackermann, W. (1956), ‘Begründung einer strengen Implikation’, Journal of Symbolic Logic21, pp. 113–128.

    Google Scholar 

  2. Da Costa, Newton (1974), ‘On the Theory of Inconsistent Formal Systems’, Notre Dame Journal of Formal Logic15, pp. 497–501.

    Google Scholar 

  3. Arruda, A. I., da Costa, N. C. A., and Chuaqui, R. (eds.) (1977), Non-Classical Logics, Model Theory, and Computability: Proceedings of the 3rd Latin-American Symposium on Mathematical Logic(Campinas, Brazil; July 11- 17, 1976), Amsterdam: North-Holland Publishing Co.

    Google Scholar 

  4. Haack, Susan (1974), Deviant Logic: Some Philosophical Issues, Cambridge, UK: Cambridge University Press.

    Google Scholar 

  5. Kripke, Saul (1959), ‘A Completeness Theorem in Modal Logic’, Journal of Symbolic Logic24, pp. 1–14.

    Google Scholar 

  6. Kyburg, Henry E., Jr. (1970), ‘Conjunctivitis’, in Marshall Swain (ed.), Induction, Acceptance, and Rational Belief, Dordrecht: D. Reidel, pp. 55–82.

    Google Scholar 

  7. Lewis, C. I. (1912), ‘Implication and the Algebra of Logic’, Mind21, pp. 552–531.

    Google Scholar 

  8. Priest, Graham (1989), ‘Reasoning about Truth’, Artificial Intelligence39, pp. 231–244.

    Google Scholar 

  9. Quine, W. V. (1940), Mathematical Logic, Cambridge, MA: Harvard University Press.

    Google Scholar 

  10. Rescher, Nicholas, and Brandom, Robert (1979), The Logic of Inconsistency: A Study in Non-Standard Possible-World Semantics and Ontology, Totowa, NJ: Rowman and Littlefield.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departments of Philosophy and Computer Science, University of Rochester, Rochester, NY, 14627, U.S.A.

    Henry E. Kyburg Jr.

Authors
  1. Henry E. Kyburg Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kyburg, H.E. Thinking about Reasoning about Knowledge. Minds and Machines 7, 103–112 (1997). https://doi.org/10.1023/A:1008205914799

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1008205914799

Keywords

Search

Navigation