scientific article; zbMATH DE number 86272

zbMATH Open0767.68015MaRDI QIDQ4015484FDOQ4015484

Authors: Johan van Benthem 

Publication date: 13 January 1993

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

Recommendations

• scientific article; zbMATH DE number 4197948
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• scientific article; zbMATH DE number 3913653
• scientific article; zbMATH DE number 1200168
• A logical analysis of modules in logic programming

zbMATH Keywords

dynamic logicdynamic analysis of reasoningdynamic perspectives upon logic programming

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic programming (68N17)

Cited In (21)

• Most specific logic programs
• Title not available (Why is that?)
• Logic Programming
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• Title not available (Why is that?)
• Reasoning with logic programming
• Mathematical programming embeddings of logic
• Super logic programs
• Steadfast logic programs
• Proofs, reasoning and the metamorphosis of logic
• Support logic programming
• Declarative programming: a logical view
• A transformation of propositional Prolog programs into classical logic
• Title not available (Why is that?)
• Importing logics
• Programming with higher-order logic.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming in logic without logic programming
• Title not available (Why is that?)
• A Survey of the Proof-Theoretic Foundations of Logic Programming

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