Dynamic modalities

DOI10.1007/S11225-012-9383-1MaRDI QIDQ454385zbMATH OpenOpenAlexFDO

Authors Dimiter Vakarelov

Publication date 1 October 2012

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9383-1

zbMATH Keywords

decidabilitymodal logicdynamic logicdynamic modalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• A system of dynamic modal logic
• scientific article; zbMATH DE number 3898856
• Parallel action: Concurrent dynamic logic with independent modalities
• scientific article; zbMATH DE number 2101966
• scientific article; zbMATH DE number 218546

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• Decidability: theorems and admissible rules
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Incomplete information: Structure, inference, complexity

Cited in

(6)

• Here and there modal logic with dual implication
• Dynamic squares
• Collapsing modalities
• scientific article; zbMATH DE number 3898856 (Why is no real title available?)
• A modal logic for non-deterministic discourse processing
• A proposed modification to the dynamic approach

This page was built for publication: Dynamic modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q454385)