#### Filter Results:

- Full text PDF available (9)

#### Publication Year

2008

2017

- This year (2)
- Last 5 years (8)
- Last 10 years (11)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Tamar Lando
- J. Philosophical Logic
- 2012

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 connectives and necessity and possibility operators, and ♦. Propositional… (More)

- Tamar Lando
- Ann. Pure Appl. Logic
- 2015

- 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)

xxx Working notes. Three main things remain to do. (1) Either include Tamar’s argument [now in separate document] for Theorem 5, or replace by some better construction for worst-case upper bound. (2) Put in the average-case lower bound calculus calculations needed in section 6. (3) General version of the worst-case lower bound method in section 7.3. A… (More)

- Tamar Lando
- 2009

- Tamar Ariela Lando, Paolo Mancosu Co-Chair, Barry Stroud Co-Chair, Christos Papadimitriou, Paolo Mancosu
- 2012

Probabilistic Semantics for Modal Logic

- David Aldous, Tamar Lando
- ArXiv
- 2014

Consider a network linking the points of a rate-1 Poisson point process on the plane. Write ! (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 ! (s), and on the… (More)

- Zoé Christoff, Paolo Galeazzi, +7 authors Johan van Benthem
- 2014

Dynamic Epistemic Logic (DEL) is an influential logical framework for reasoning about the dynamics of beliefs and knowledge. It has been related to older and more established logical frameworks but, despite these connections, DEL remains, arguably, a rather isolated logic in the vast realm of non-classical logics and modal logics. This is problematic if… (More)

- Tamar Lando
- Rew. Symb. Logic
- 2017

Space, as we typically represent it in mathematics and physics, is composed of dimensionless, indivisible points. But philosophers have for a long time doubted whether there are any point-sized regions of space. On an alternative, region-based approach to space, extended regions together with the relations of parthood and contact are taken as primitive;… (More)