Dynamic modalities

DOI10.1007/S11225-012-9383-1zbMath1257.03047OpenAlexW2912613870MaRDI QIDQ454385

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

modal logicdecidabilitydynamic logicdynamic modalities

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Decidability: theorems and admissible rules
• Incomplete information: Structure, inference, complexity

This page was built for publication: Dynamic modalities