scientific article; zbMATH DE number 1696787

MaRDI QIDQ2767044zbMATH OpenFDO

Authors Krzysztof R. Apt

Publication date 28 January 2002

Mathematics Subject Classification ID

Classical first-order logic (03B10) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Axiomatization of a Denotational Semantics for First-order Logic
• scientific article; zbMATH DE number 3963803
• Logical semantics for the first order -calculus.
• Semantics for first-order superposition logic
• scientific article; zbMATH DE number 5722451
• scientific article; zbMATH DE number 4045109
• First-order intensional logic
• Computer Science Logic
• scientific article; zbMATH DE number 4145877
• scientific article; zbMATH DE number 218502

Cited in

(17)

• Don't care non-determinism in logic program refinement
• scientific article; zbMATH DE number 6379368 (Why is no real title available?)
• Semantics Out of Context
• scientific article; zbMATH DE number 5722451 (Why is no real title available?)
• scientific article; zbMATH DE number 1980915 (Why is no real title available?)
• scientific article; zbMATH DE number 1984522 (Why is no real title available?)
• scientific article; zbMATH DE number 1487474 (Why is no real title available?)
• scientific article; zbMATH DE number 1775532 (Why is no real title available?)
• Axiomatization of a Denotational Semantics for First-order Logic
• scientific article; zbMATH DE number 1852924 (Why is no real title available?)
• An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics
• Correct answers for first order logic
• scientific article; zbMATH DE number 3893196 (Why is no real title available?)
• Logic Programming
• Computer Science Logic
• Logical semantics for the first order -calculus.
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

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