Dynamic measure logic

DOI10.1016/j.apal.2012.04.001zbMath1278.03046OpenAlexW2157265548MaRDI QIDQ714709

Tamar Lando

Publication date: 11 October 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.04.001

zbMATH Keywords

modal logicmeasure algebracompletenesstopological semanticsS4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Measures on Boolean rings, measure algebras (28A60)

Related Items (2)

First order \(S4\) and its measure-theoretic semantics ⋮ The intuitionistic temporal logic of dynamical systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic topological logic
• Completeness of S4 with respect to the real line: revisited
• A proof of topological completeness for S4 in \((0,1)\)
• Dynamic Topological Completeness for
• Reasoning About Space: The Modal Way
• Homeomorphic Measures in Metric Spaces

This page was built for publication: Dynamic measure logic