A Logic Primer

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.

[1]  W. Hodges.  Elementary Predicate Logic , 1983 .

[2]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[3]  A. R. Turquette,et al.  Logic, Semantics, Metamathematics , 1957 .

[4]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[5]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[6]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[7]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[8]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[9]  Letizia Tanca,et al.  What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..

[10]  Krzysztof R. Apt,et al.  From logic programming to Prolog , 1996, Prentice Hall International series in computer science.

[11]  Martin Davis.  First order logic , 1993 .

[12]  Colin Stirling,et al.  Modal and temporal logics , 1993, LICS 1993.

[13]  Jan Chomicki,et al.  Temporal Logic in Information Systems , 1998, Logics for Databases and Information Systems.

[14]  Patricia Johann,et al.  Deduction Systems , 1997, Graduate Texts in Computer Science.

[15]  R. A. Bull,et al.  Basic Modal Logic , 1984 .

[16]  Göran Sundholm,et al.  Systems of Deduction , 1983 .

[17]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[18]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[19]  Kees Doets,et al.  From logic to logic programming , 1994, Foundations of computing series.

[20]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[21]  Jean Gallier,et al.  Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi , 1993, Theor. Comput. Sci..

[22]  J. van Benthem,et al.  Temporal logic , 1995 .

[23]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[24]  Dirk van Dalen,et al.  Logic and structure , 1980 .

[25]  V. Wiktor Marek,et al.  Nonmonotonic Logic , 1993, Artificial Intelligence.

[26]  Fred B. Schneider,et al.  On concurrent programming , 1997, CACM.

[27]  D. M. Gabbay.  Elements of algorithmic proof , 1993, LICS 1993.

[28]  Melvin Fitting,et al.  Basic modal logic , 1993 .

[29]  Anil Nerode,et al.  Logic for Applications , 1997, Graduate Texts in Computer Science.

[30]  Norbert Eisinger,et al.  Deduction systems based on resolution , 1993 .

[31]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

[32]  Anil Nerode,et al.  Some Lectures on Modal Logic , 1991 .

[33]  Antony Galton,et al.  Temporal logics and their applications , 1987 .

[34]  Krzysztof R. Apt,et al.  Logic Programming and Negation: A Survey , 1994, The Journal of Logic Programming.

[35]  James W. Garson,et al.  Quantification in Modal Logic , 1984 .

[36]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[37]  Johann Eder,et al.  Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.

[38]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

[39]  G. Sundholm.  Proof Theory and Meaning , 1986 .

[40]  Wolfgang Bibel,et al.  Methods and calculi for deduction , 1993 .