Dynamic measure logic. - Tamar Lando (Ann. Pure Appl. Log., 2012)

Completeness of S4 for the Lebesgue Measure Algebra. - Tamar Lando (J. Philos. Log., 2012)

The Stretch - Length Tradeoff in Geometric Networks: Average Case and Worst Case Study. - David J. Aldous; Tamar Lando (CoRR, 2014)

First order S4 and its measure-theoretic semantics. - Tamar Lando (Ann. Pure Appl. Log., 2015)

Logics above S4 and the Lebesgue Measure Algebra. - Tamar Lando (Rev. Symb. Log., 2017)

Topology and measure in logics for region-based theories of space. - Tamar Lando (Ann. Pure Appl. Log., 2018)

A Calculus of Regions Respecting Both Measure and Topology. - Tamar Lando; Dana S. Scott (J. Philos. Log., 2019)

Valueless Measures on Pointless Spaces. - Tamar Lando (J. Philos. Log., 2023)