LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA

DOI10.1017/S1755020316000228zbMath1417.03159OpenAlexW2541190474MaRDI QIDQ5737960

Tamar Lando

Publication date: 31 May 2017

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020316000228

Mathematics Subject Classification ID

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

Cites Work

• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• First order \(S4\) and its measure-theoretic semantics
• Connected modal logics
• The algebra of topology
• Introduction to Boolean Algebras
• Reasoning About Space: The Modal Way
• TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA