scientific article; zbMATH DE number 1182727

zbMATH Open0905.03013MaRDI QIDQ4400799FDOQ4400799

Authors: S. Conrad 

Publication date: 2 February 1999

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

proof theorysemanticsfirst-order logicmodal logicsnegationsyntaxtemporal logicfixpoint semanticsSLD-resolutionHerbrand modelformal foundations of logic programming and deductive databasesKripke-structures

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• A basic free logic

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)