scientific article; zbMATH DE number 789391

MaRDI QIDQ4846259zbMATH OpenFDO

Authors Richard A. Shore, Anil Nerode

Publication date 23 August 1995

zbMATH Keywords

applied logicclassical predicate logicintuitionistic logicmathematical logicmodal logicPROLOGtextbook

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 992300
• scientific article; zbMATH DE number 605797
• scientific article; zbMATH DE number 4024772
• scientific article; zbMATH DE number 962824
• An Application of Logic Engineering
• Program logics and their applications
• Logic for computer scientists
• Logic for computer scientists
• scientific article; zbMATH DE number 824081

Cited in

(22)

• Theorem proving by chain resolution
• Computing definite logic programs by partial instantiation
• Intuitionistic logic as the implement of incremental model construction for natural language
• The co-invariant generator: An aid in deriving loop bodies
• The expressiveness of locally stratified programs
• First-order automated reasoning with theories: when deduction modulo theory meets practice
• scientific article; zbMATH DE number 992300 (Why is no real title available?)
• A logical splitting strategy for the belief structure of agents
• scientific article; zbMATH DE number 4024772 (Why is no real title available?)
• scientific article; zbMATH DE number 49445 (Why is no real title available?)
• scientific article; zbMATH DE number 605797 (Why is no real title available?)
• Elementary logic with applications. A procedural perspective for computer scientists
• scientific article; zbMATH DE number 872502 (Why is no real title available?)
• Modelling a public-key infrastructure
• Game characterizations of logic program properties
• Index sets for finite normal predicate logic programs with function symbols
• Three views of logic. Mathematics, philosophy, and computer science
• An Application of Logic Engineering
• Computing minimal models by partial instantiation
• Two interpolation theorems
• A relevance restriction strategy for automated deduction
• Resolution is cut-free

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 Q4846259)