scientific article; zbMATH DE number 4197948

MaRDI QIDQ5202983zbMATH OpenFDO

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 in computer science (03B70) Logic programming (68N17)

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

(15)

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

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)