scientific article; zbMATH DE number 86272

zbMATH Open0767.68015MaRDI QIDQ4015484FDOQ4015484

Authors Johan van Benthem

Publication date 13 January 1993

zbMATH Keywords

dynamic logicdynamic analysis of reasoningdynamic perspectives upon logic programming

Mathematics Subject Classification ID

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

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

Cited in

(21)

• Proofs, reasoning and the metamorphosis of logic
• Most specific logic programs
• Support logic programming
• Reasoning with logic programming
• scientific article; zbMATH DE number 1822447 (Why is no real title available?)
• Super logic programs
• Mathematical programming embeddings of logic
• Steadfast logic programs
• scientific article; zbMATH DE number 4116014 (Why is no real title available?)
• A transformation of propositional Prolog programs into classical logic
• scientific article; zbMATH DE number 53604 (Why is no real title available?)
• Programming with higher-order logic.
• Some model theory for the modal \(\mu\)-calculus: syntactic characterisations of semantic properties
• scientific article; zbMATH DE number 54243 (Why is no real title available?)
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• scientific article; zbMATH DE number 3225736 (Why is no real title available?)
• scientific article; zbMATH DE number 4011898 (Why is no real title available?)
• Logic Programming
• Importing logics
• Programming in logic without logic programming
• Declarative programming: a logical view

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)