scientific article; zbMATH DE number 6863637

MaRDI QIDQ4636025zbMATH OpenFDO

Authors Zeinab Bakhtiari, Sabine Frittella, Hans van Ditmarsch

Publication date 23 April 2018

zbMATH Keywords

algebraic semanticsarbitrary action modal logicdynamic epistemic logicrefinement modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Recommendations

• Modal logic and algebraic specifications
• Algebraic semantics for quasi-classical modal logics
• Algebraic semantics for a modal logic close to S1
• scientific article; zbMATH DE number 2101969
• Refinement modal logic
• Kleene algebra and modal logic
• Algebraic semantics for modal and superintuitionistic non-monotonic logics
• scientific article; zbMATH DE number 1086630
• scientific article; zbMATH DE number 1303458
• Algebraizable logics

Cited in

(8)

• Structural Refinement for the Modal nu-Calculus
• scientific article; zbMATH DE number 4095430 (Why is no real title available?)
• Refinement modal logic
• scientific article; zbMATH DE number 1850738 (Why is no real title available?)
• Segerberg Squares of Modal Logics and Theories of Relation Algebras
• scientific article; zbMATH DE number 7123530 (Why is no real title available?)
• Algebraic Methodology and Software Technology
• Covariant-contravariant refinement modal logic

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