The following pages link to Tamar Lando (Q427237):
Displaying 8 items.
- Completeness of \(\mathrm S4\) for the Lebesgue measure algebra (Q427238) (← links)
- First order \(S4\) and its measure-theoretic semantics (Q476117) (← links)
- Dynamic measure logic (Q714709) (← links)
- Topology and measure in logics for region-based theories of space (Q1694810) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- Valueless measures on pointless spaces (Q2686086) (← links)
- The Stretch - Length Tradeoff in Geometric Networks: Average Case and Worst Case Study (Q5360331) (← links)
- LOGICS ABOVE <i>S</i>4 AND THE LEBESGUE MEASURE ALGEBRA (Q5737960) (← links)
