# How does access to this work benefit you? Let us know!

(1)

## How does access to this work benefit you? Let us know!

This work is made publicly available by the City University of New York (CUNY).

(2)

(3)

(4)

(5)

(6)

(7)

(8)

(9)

(10)

### Scenario: Mary and Susan are in a car. They are lost and have just driven into a townat the intersection of two highways. Mary is looking at a map (figure 1).

San Marcos

Austin

Martindale Lockhart

Luling

Belmont Gonzales

Nixon

Cuero Gillett

Route 183

Route 183

Route 183

Route 183 Route 80

Route 80

Route 80

Route 80

Route 80

Route 142

Route 90

Route 87

(11)

1

2

t

t

t

⟨st, t⟩

⟨s, t⟩

2

⟨st, ⟨st, t⟩⟩

⟨st, t⟩

t

⟨st, ⟨st, t⟩⟩

⟨s, t⟩

### R

1

⟨st, ⟨st, ⟨st, t⟩⟩⟩

t

t

t

⟨st, t⟩

t

⟨st, ⟨st, t⟩⟩

⟨s, t⟩

### R

1

⟨st, ⟨st, ⟨st, t⟩⟩⟩

⟨st, t⟩

⟨s, t⟩

2

⟨st, ⟨st, t⟩⟩

1

2

1

2

1

(12)

2

1

2

1

2

(13)

(14)

### Returning to the scenario in (1), consider the possibility that Mary is not entirely lost but knows that they are in a town on Route 142. This knowledge, coupled with the information provided by the map in figure 1, reproduced below, would allow her to truthfully utter either of the conditionals in (9) or the pair without contradiction.

San Marcos

Austin

Martindale Lockhart

Luling

Belmont Gonzales

Nixon

Cuero Gillett

Route 183

Route 183

Route 183

Route 183 Route 80

Route 80

Route 80

Route 80

Route 80

Route 142

Route 90

Route 87

(15)

ttc

[80,φttc]

[80,φttc]

(16)

t

t

⟨st, t⟩

⟨s, t⟩

⟨s, t⟩

1

⟨st, st⟩

t

⟨st, ⟨st, st⟩⟩

⟨st, ⟨st, t⟩⟩

ttc

ttc

[183]

[80,◇[183]Lock]

[80,◇[183]Lock]

[80,Lock]

(17)

[80,Lock]

[80,183]

[80,183]

t

t

t

⟨st, t⟩

⟨s, t⟩

2

⟨st, ⟨st, t⟩⟩

⟨st, t⟩

t

⟨st, ⟨st, t⟩⟩

⟨s, t⟩

### R

1

⟨st, ⟨st, ⟨st, t⟩⟩⟩

t

t

t

⟨st, t⟩

t

⟨st, ⟨st, t⟩⟩

⟨s, t⟩

### R

1

⟨st, ⟨st, ⟨st, t⟩⟩⟩

⟨st, t⟩

⟨s, t⟩

2

⟨st, ⟨st, t⟩⟩

(18)

ttc

[183]

ttc

[80,◇Lock]

[80,◇Lock]

ttc

[80,◻[183]Lock]

[80,◻[183]Lock]

(19)

(20)

(21)

(22)

(23)

t

t

t

⟨st, t⟩

t

⟨st, ⟨st, t⟩⟩

⟨s, t⟩

### R

1

⟨st, ⟨st, ⟨st, t⟩⟩⟩

⟨st, t⟩

⟨s, t⟩

2

⟨st, ⟨st, t⟩⟩

### )

t

t

t

we are in Lockhart now

⟨st, t⟩

⟨s, t⟩

⟨s, t⟩

R1

⟨st, st⟩

t we are on Route 183

⟨st, ⟨st, st⟩⟩

if

⟨st, ⟨st, t⟩⟩

nec

⟨st, t⟩

⟨s, t⟩

R2

⟨st, ⟨st, t⟩⟩

might

(24)

(25)

(26)

(27)

(28)

(29)

(30)

t

t

t

⟨st, t⟩

t

⟨st, ⟨st, t⟩⟩

⟨s, t⟩

### R

1

⟨st, ⟨st, ⟨st, t⟩⟩⟩

⟨st, t⟩

⟨s, t⟩

2

⟨st, ⟨st, t⟩⟩

(31)

(32)

epi

cir

epi

cir

epi

cir

### column (lost ∧ map) of table 2 where n/a indicates a derived reading incompatible with the

(33)

San Marcos

Austin

Martindale Lockhart

Luling

Belmont Gonzales

Nixon

Cuero Gillett

Route 183

Route 183

Route 183

Route 183 Route 80

Route 80

Route 80

Route 80

Route 80

Route 142

Route 90

Route 87

epi

cir

epi

cir

(34)

1

2

1

2

(35)

### Scenario (142 ∧ ¬map): Mary and Susan are driving in a car. They have just passed aRoute 142 sign. Mary pulls out an old crusty atlas dated 1845 from under the seat andturns to a page containing Route 142 (figure 3).

San Marcos

Austin

Martindale Lockhart

Luling

Belmont Gonzales

Nixon

Cuero Gillett

Route 183

Route 183

Route 183

Route 183 Route 80

Route 80

Route 80

Route 80

Route 80

Route 142

Route 90

Route 87

(36)

(37)

### Let’s revisit our friends Mary and Susan who, after realizing that their fuel gauge is broken, have just passed a sign indicating that they are leaving Luling. Given an updated map (figure 4), consider the ifttc sequence in (41).

San Marcos

Austin

Martindale Lockhart

Luling

Belmont Gonzales

Nixon

Cuero Gillett

50 mi

75 mi

50 mi

75 mi 100 mi

100 mi

100 mi

25 mi

50 mi

(38)

(39)

t

t

t

⟨st, t⟩

t

⟨st, ⟨st, t⟩⟩

⟨s, t⟩

### R

1

⟨st, ⟨st, ⟨st, t⟩⟩⟩

⟨st, t⟩

⟨s, t⟩

2

⟨st, ⟨st, t⟩⟩

(40)

(41)

Updating...

## References

Related subjects :