scientific article; zbMATH DE number 4197948

MaRDI QIDQ5202983zbMATHFDO

Authors V. Yu. Kryauchyukas

Publication date 1989

zbMATH Keywords

dynamic logiclanguage of propositional logic programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 86272
• scientific article; zbMATH DE number 1354108
• scientific article; zbMATH DE number 4072431
• scientific article; zbMATH DE number 1556014
• Dynamic logic with trace semantics

Cited in

(13)

• Dynamic predicates in functional logic programs
• scientific article; zbMATH DE number 1696783 (Why is no real title available?)
• scientific article; zbMATH DE number 86272 (Why is no real title available?)
• scientific article; zbMATH DE number 4181309 (Why is no real title available?)
• scientific article; zbMATH DE number 4116014 (Why is no real title available?)
• A natural deduction approach to dynamic logic
• Dynamic doxastic logic: why, how, and where to?
• Dynamic reordering of alternatives for definite logic programs
• Dynamic Context Logic
• Contexts in dynamic predicate logic
• scientific article; zbMATH DE number 4079387 (Why is no real title available?)
• Dynamic Logic with Non-rigid Functions
• A dynamic logic for every season

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