scientific article; zbMATH DE number 5722451

MaRDI QIDQ3567766zbMATH OpenFDO

Authors E. E. Lednikov

Publication date 17 June 2010

zbMATH Keywords

first-order dynamic logic of knowledgepossible worlds semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Recommendations

• scientific article; zbMATH DE number 1696787
• Algebraic Semantics for Dynamic Dynamic Logic
• The comparison of the expressive power of first-order dynamic logics
• Semantics for first-order superposition logic
• scientific article; zbMATH DE number 1953887
• scientific article; zbMATH DE number 218502
• A progression semantics for first-order logic programs
• scientific article; zbMATH DE number 3963803
• Logic Programming and Nonmonotonic Reasoning

Cited in

(5)

• scientific article; zbMATH DE number 1696787 (Why is no real title available?)
• Algebraic Semantics for Dynamic Dynamic Logic
• scientific article; zbMATH DE number 1487474 (Why is no real title available?)
• scientific article; zbMATH DE number 1852924 (Why is no real title available?)
• The comparison of the expressive power of first-order dynamic logics

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