scientific article; zbMATH DE number 3903941

MaRDI QIDQ3681906zbMATH OpenFDO

Authors Robert Cartwright

Publication date 1984

zbMATH Keywords

first order programming logicfixed- pointsnon-standard modelsrecursive programsemantics

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Abstract and axiomatic computability and recursion theory (03D75) Nonstandard models (03H99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Recursive Programs as Definitions in First-Order Logic
• scientific article; zbMATH DE number 3848592
• Fixed-point extensions of first-order logic
• Formalizing non-termination of recursive programs
• Fixpoint semantics for logic programming a survey

Cited in

(4)

• Non-standard algorithmic and dynamic logic
• Fixed-point extensions of first-order logic
• Formalizing non-termination of recursive programs
• Recursive Programs as Definitions in First-Order 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 Q3681906)