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

decidabilitydynamic logicdynamic modalitiesmodal logic

Mathematics Subject Classification ID

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

Review text

The author develops a modal logic with the modalities ``always necessary and ``sometimes necessary, and dual modalities for possibility. He gives a Hilbert-style axiomatization, and an adequate semantics via Kripke frames with arbitrary families of accessibility relations. This logic has the finite model property and is, hence, decidable. There is a strong similarity with propositional dynamic logic, which is discussed to some extent.

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

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

Cited in

(6)

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

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)