Dynamic measure logic

DOI10.1016/J.APAL.2012.04.001zbMATH Open1278.03046OpenAlexW2157265548MaRDI QIDQ714709FDOQ714709

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

Recommendations

• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA
• Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
• On completeness of dynamic topological logic
• The modal logic of continuous functions on Cantor space

zbMATH Keywords

completenessmodal logicmeasure algebratopological semanticsS4

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Reasoning About Space: The Modal Way
• Homeomorphic Measures in Metric Spaces
• Dynamic topological logic
• Completeness of S4 with respect to the real line: revisited
• Absolute completeness of \(\mathsf {S4}_u\) for its measure-theoretic semantics
• A proof of topological completeness for S4 in \((0,1)\)
• On completeness of dynamic topological logic
• Dynamic Topological Completeness for

Cited In (2)

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

This page was built for publication: Dynamic measure logic

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