scientific article; zbMATH DE number 4197948

zbMATH Open0726.03004MaRDI QIDQ5202983FDOQ5202983

Authors: V. Yu. Kryauchyukas 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

• Title not available (Why is that?)
• Dynamic predicates in functional logic programs
• Dynamic Logic with Non-rigid Functions
• Title not available (Why is that?)
• Dynamic doxastic logic: why, how, and where to?
• Dynamic reordering of alternatives for definite logic programs
• A natural deduction approach to dynamic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contexts in dynamic predicate logic
• Dynamic Context Logic
• Title not available (Why is that?)
• 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)