#### Filter Results:

#### Publication Year

2009

2015

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

- Tamar Lando, Darko Sarenac
- 2011

This paper explores the connection between fractal geometry and topological modal logic. In the early 1940's, Tarski showed that the modal logic S4 can be interpreted in topological spaces. Since then, many interesting completeness results in the topological semantics have come to light, and renewed interest in this semantics can be seen in such recent… (More)

We prove completeness of the propositional modal logic S4 for the measure algebra based on the Lebesgue-measurable subsets of the unit interval, [0, 1]. In recent talks, Dana Scott introduced a new measure-based semantics for the standard propositional modal language with Boolean connec-tives and necessity and possibility operators, and ♦. Propositional… (More)

- Tamar Lando
- 2009

Consider a network linking the points of a rate-1 Poisson point process on the plane. Write Ψ ave (s) for the minimum possible mean length per unit area of such a network, subject to the constraint that the route-length between every pair of points is at most s times the Euclidean distance. We give upper and lower bounds on the function Ψ ave (s), and on… (More)

This paper brings together Dana Scott's measure-based semantics for the propositional modal logic S4, and recent work in Dynamic Topological Logic. In a series of recent talks, Scott showed that the language of S4 can be interpreted in the Lebesgue measure algebra, M, or algebra of Borel subsets of the real interval, [0, 1], modulo sets of measure zero.… (More)

- ‹
- 1
- ›