Dynamic measure logic

DOI10.1016/J.APAL.2012.04.001MaRDI QIDQ714709zbMATH OpenOpenAlexFDO

Authors 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

completenessmodal logicmeasure algebratopological semanticsS4

Mathematics Subject Classification ID

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

Recommendations

• Completeness of 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

Cites work

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

Cited in

(4)

• Completeness of S4 for the Lebesgue measure algebra
• First order \(S4\) and its measure-theoretic semantics
• The intuitionistic temporal logic of dynamical systems
• Probabilistic semantics and calculi for multi-valued and paraconsistent logics

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)