A programming language for the inductive sets, and applications

DOI10.1016/S0019-9958(84)80045-5MaRDI QIDQ3719820zbMATH OpenOpenAlexFDO

Authors David Harel, Dexter Kozen

Publication date 1984

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-9958(84)80045-5

zbMATH Keywords

databasealternating Turing machinesfirst-order structuresacceptable structuresfinite-test dynamic logicfirst-order inductive definabilityquery language for the set of fixpoint queries over a relationalquery language for the set of fixpoint queries over a relational databaser.e. dynamic logic

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Inductive definability (03D70)

Recommendations

• Computational inductive definability
• New Computational Paradigms
• scientific article; zbMATH DE number 515737
• Definability by deterministic and non-deterministic programs (with applications to first-order dynamic logic)
• _1⁰-positive inductive definability on abstract structures

Cited in

(17)

• Concurrent program schemes and their logics
• Well-founded coalgebras, revisited
• A logic of recursion
• _1⁰-positive inductive definability on abstract structures
• Descriptive characterizations of computational complexity
• Halting and equivalence of program schemes in models of arbitrary theories
• An informal introduction to a high level language with applications to interval mathematics
• New Computational Paradigms
• Communication in concurrent dynamic logic
• Computational inductive definability
• Tree tuple languages from the logic programming point of view
• How to Compute Antiderivatives
• The dimension of the negation of transitive closure
• Alternating Turing machines and the analytical hierarchy
• The functional dimension of inductive definitions
• A formal library of set relations and its application to synchronous languages
• Differential game logic

This page was built for publication: A programming language for the inductive sets, and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3719820)