scientific article; zbMATH DE number 1182727

MaRDI QIDQ4400799zbMATH OpenFDO

Authors S. Conrad

Publication date 2 February 1999

zbMATH Keywords

first-order logicfixpoint semanticsformal foundations of logic programming and deductive databasesHerbrand modelKripke-structuresmodal logicsnegationproof theorysemanticsSLD-resolutionsyntaxtemporal logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Logic programming (68N17) Database theory (68P15)

Review text

This chapter is intended to provide the basic definitions of those logics which are used in several of the subsequent chapters of this volume. We have divided it into three main parts. First, we briefly introduce the syntax of first-order logic and define the standard (Tarskian) semantics for first-order logic. In addition, we sketch proof theory for first-order logic by presenting a Hilbert style and a natural deduction proof system. Then we turn to the basics of modal logics. The usual approach to give semantics to modal logics is by Kripke-structures. We briefly consider the axiomatization of several standard modal logics. We complete the section on modal logics by considering two special variants of modal logics for describing temporal evolution of systems: linear temporal logic and branching time logic. The third part of this logic primer deals with the formal foundations of logic programming and deductive databases. We define the notions of Herbrand model, fixpoint semantics, and SLD-resolution. Due to the fact that negation in logical rules causes a lot of problems we also consider different ways of defining semantics for logical programs with negation, in particular, we consider stratification, stable semantics, and well-founded semantics. For the entire collection see [Zbl 0889.00013].

Recommendations

• scientific article; zbMATH DE number 7646018
• Logic primer.
• Logic. The basics
• Logic. An introduction
• Logic. A very short introduction
• scientific article; zbMATH DE number 4104914
• A first course in logic
• Introduction to logic
• scientific article; zbMATH DE number 2199903

Cited in

(2)

• A basic free logic
• scientific article; zbMATH DE number 6493284 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4400799)