Skip to main content
SpringerLink
Log in

A Logic Primer

  • Chapter
Logics for Databases and Information Systems

Part of the book series: The Springer International Series in Engineering and Computer Science ((SECS,volume 436))

Abstract

This chapter is intended to provide the basic definitions of those logics which are used in several of the subsequent chapters. We have divided this introduction into three main parts.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. Apt and R. Bol. Logic Programming and Negation: A Survey. Journal of Logic Programming, 19/20:9–71, 1994.

    Article  MathSciNet  Google Scholar 

  2. S. Abramsky, D. Gabbay, and T. Maibaum, editors. Handbook of Logic in Computer Science II — Background: Computational Structures. Oxford University Press, 1992.

    Google Scholar 

  3. K.R. Apt. From Logic Programming to Prolog. Prentice Hall, 1996.

    Google Scholar 

  4. W. Bibel and E. Eder. Methods and Calculi for Deduction. In Gabbay et al. [GHR93], pp. 67–182.

    Google Scholar 

  5. J. Benthem. Temporal Logic. In Gabbay et al. [GHR95], pp. 241–350.

    Google Scholar 

  6. E. Burke and E. Foxley. Logic and its Applications. Prentice Hall, 1996.

    Google Scholar 

  7. R. Bull and K. Segerberg. Basic Modal Logic. In Gabbay and Guenthner [GG84], chapter II.1, pp. 1–88.

    Google Scholar 

  8. S. Ceri, G. Gottlob, and L. Tanca. What You always wanted to Know About Datalog (And Never Dared to Ask). IEEE Transactions on Knowledge and Data Engineering, 1(1):146–166, 1989.

    Article  Google Scholar 

  9. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Surveys in Computer Science. Springer-Verlag, Berlin, 1990.

    Google Scholar 

  10. B. Chellas. Modal Logic: An Introduction. Cambridge University Press, 1980.

    Google Scholar 

  11. J. Chomicki and G. Saake, editors. Logics for Databases and Information Systems. Kluwer Academic Publishers, Boston, 1998.

    MATH  Google Scholar 

  12. J. Chomicki and D. Toman. Temporal Logic in Information Systems. In Chomicki and Saake [CS98], chapter 3, pp. 31–70.

    Google Scholar 

  13. D. Dalen. Logic and Structure. Springer-Verlag, Berlin/New York, 1983.

    Google Scholar 

  14. M. Davis. First Order Logic. In Gabbay et al. [GHR93], pp. 31–65.

    Google Scholar 

  15. K. Doets. From Logic to Logic Programming. MIT Press, 1994.

    Google Scholar 

  16. E.A. Emerson. Temporal and Modal Logic. In J.V. Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pp. 995–1072. Elsevier Science Publishers, North-Holland, 1990.

    Google Scholar 

  17. N. Eisinger and H. Ohlbach. Deduction Systems Based on Resolution. In Gabbay et al. [GHR93], pp. 183–271.

    Google Scholar 

  18. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. MIT Press, 1995.

    Google Scholar 

  19. M. Fitting. Basic Modal Logic. In Gabbay et al. [GHR93], pp. 367–448.

    Google Scholar 

  20. D. Gabbay. Elements of Algorithmic Proof. In Abramsky et al. [AGM92], pp. 311–413.

    Google Scholar 

  21. A. Galton, editor. Temporal Logics and Their Applications. Academic Press, 1987.

    Google Scholar 

  22. J. Gallier. Constructive Logics — Part I: A Tutorial on Proof Systems and Typed λ-Calculi. Theoretical Computer Science, 110(2):249–339, 1993.

    Article  MathSciNet  MATH  Google Scholar 

  23. J.W. Garson. Quantification in Modal Logic. In Gabbay and Guenthner [GG84], chapter II.5, pp. 249–307.

    Google Scholar 

  24. G. Gentzen. Untersuchungen über das logische Schließen. Mathematische Zeitschrift, 39:176–210 & 405-431, 1935.

    Article  MathSciNet  Google Scholar 

  25. D. Gabbay and F. Guenthner, editors. Handbook of Philosophical Logic I: Elements of Classical Logic. D. Reidel, Boston, 1983.

    MATH  Google Scholar 

  26. D. Gabbay and F. Guenthner, editors. Handbook of Philosophical Logic II: Extensions of Classical Logic. D. Reidel, Boston, 1984.

    MATH  Google Scholar 

  27. D. Gabbay and F. Guenthner, editors. Handbook of Philosophical Logic III: Alternatives to Classical Logic. D. Reidel, Boston, 1986.

    MATH  Google Scholar 

  28. D. Gabbay, C. Hogger, and J. Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming I: Logical Foundations. Oxford University Press, 1993.

    Google Scholar 

  29. D. Gabbay, C. Hogger, and J. Robinson, editors. Handbook of Logic in Artificial Intelligence and Logic Programming IV: Epistemic and Temporal Reasoning. Oxford University Press, 1995.

    Google Scholar 

  30. H. Gallaire and J. Minker, editors. Logic and Databases. Plenum Press, New York, 1978.

    Google Scholar 

  31. H. Gallaire, J. Minker, and J.-M. Nicolas. Logic and Databases: A Deductive Approach. ACM Computing Surveys, 16(2):153–185, 1984.

    Article  MathSciNet  MATH  Google Scholar 

  32. D. Harel. Dynamic Logic. In Gabbay and Guenthner [GG84], chapter II.10, pp. 497–604.

    Google Scholar 

  33. A. Hazen. Predicative Logics. In Gabbay and Guenthner [GG83], chapter I.5, pp. 331–407.

    Google Scholar 

  34. W. Hodges. Elementary Predicate Logic. In Gabbay and Guenthner [GG83], chapter I.1, pp. 1–131.

    Google Scholar 

  35. S. Kripke. Semantical Considerations on Modal Logic. Acta Phil. Fennica, 16:83–94, 1963.

    MathSciNet  MATH  Google Scholar 

  36. J. Lloyd. Foundations of Logic Programming. Springer-Verlag, New York, NJ, 2 edition, 1987.

    Book  MATH  Google Scholar 

  37. E. Mendelson. Introduction to Mathematical Logic. Van Nostrand, Princeton, N.J., 1964.

    Google Scholar 

  38. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Vol. 1: Specification. Springer-Verlag, New York, NJ, 1992.

    Book  Google Scholar 

  39. V. Marek and M. Truszczynski. Nonmonotonic Logic. Springer-Verlag, Berlin, 1993.

    MATH  Google Scholar 

  40. Z. Manna and R. Waldinger. The Deductive Foundations of Computer Programming. Addison-Wesley Publishing, Reading, MA, 1993.

    MATH  Google Scholar 

  41. A. Nerode. Some Lectures on Modal Logic. In F. Bauer, editor, Logic, Algebra, and Computation, volume F79 of NATO ASI Series, pp. 281–334. Springer-Verlag, 1991.

    Google Scholar 

  42. A. Nerode and R. Shore. Logic for Applications. Springer-Verlag, 2 edition, 1997.

    Google Scholar 

  43. S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.

    Google Scholar 

  44. F. Schneider. On Concurrent Programming. Graduate Texts in Computer Science. Springer-Verlag, New York, 1997.

    Google Scholar 

  45. R. Socher-Ambrosius and P. Johann. Deduction Systems. Springer-Verlag, 1997.

    Google Scholar 

  46. C. Stirling. Modal and Temporal Logics. In Abramsky et al. [AGM92], pp. 478–563.

    Google Scholar 

  47. G. Sundholm. Systems of Deduction. In Gabbay and Guenthner [GG83], chapter I.2, pp. 133–188.

    Google Scholar 

  48. G. Sundholm. Proof Theory and Meaning. In Gabbay and Guenthner [GG86], chapter III.8, pp. 471–506.

    Google Scholar 

  49. A. Tarski. Logic, Semantics, Metamathematics. Oxford University Press, 1956.

    Google Scholar 

  50. A. Van Gelder, K. Ross, and J. Schlipf. The Well-Founded Semantics for General Logic Programs. Journal of ACM, 38(3):620–650, 1991.

    MATH  Google Scholar 

Download references

Authors
  1. Stefan Conrad
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Monmouth University, USA

    Jan Chomicki

  2. University of Magdeburg, Germany

    Gunter Saake

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer Science+Business Media New York

About this chapter

Cite this chapter

Conrad, S. (1998). A Logic Primer. In: Chomicki, J., Saake, G. (eds) Logics for Databases and Information Systems. The Springer International Series in Engineering and Computer Science, vol 436. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5643-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-5643-5_2

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-7582-1

  • Online ISBN: 978-1-4615-5643-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation