Pictorial narratives & temporal refinement Tim Fernando (SALT - - PowerPoint PPT Presentation

▶
pictorial narratives amp temporal refinement
SMART_READER_LITE
LIVE PREVIEW

Pictorial narratives & temporal refinement Tim Fernando (SALT - - PowerPoint PPT Presentation

Apr 11, 2023 187 likes •297 views

Pictorial narratives & temporal refinement Tim Fernando (SALT 2019 poster) Pictorial narratives & temporal refinement Tim Fernando (SALT 2019 poster) p p ( and then : default progression) Pictorial narratives & temporal

slide-1
SLIDE 1

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

slide-2
SLIDE 2

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression)

slide-3
SLIDE 3

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression) p, p′ (no temporal progression)

slide-4
SLIDE 4

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression) p p, p′ inertial flow p, p′ (no temporal progression) No change without force

  • inertia
slide-5
SLIDE 5

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression) p, p′ p, p′ inertial flow p, p′ (no temporal progression) No change without force

  • inertia
slide-6
SLIDE 6

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression) p, p′ p, p′ (inertial flow, stutter) p, p′ (no temporal progression) No change without force

  • inertia

No time without change

  • Aristotle
slide-7
SLIDE 7

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression) p, p′ p, p′ (inertial flow, stutter) p, p′ (no temporal progression) No change without force

  • inertia

No time without change

  • Aristotle
slide-8
SLIDE 8

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression) p, p′ p, p′ (inertial flow, stutter) p, p′ (no temporal progression) No change without force

  • inertia

No time without change

  • Aristotle

◮ forces may intervene + pictures are not wholly stative

slide-9
SLIDE 9

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression) p, p′ p, p′ (inertial flow, stutter) p, p′ (no temporal progression) No change without force

  • inertia

No time without change

  • Aristotle

◮ forces may intervene + pictures are not wholly stative

A picture’s worth a thousand words – some stative, some not

slide-10
SLIDE 10

Pictorial narratives & temporal refinement

Tim Fernando (SALT 2019 poster)

p p′ (and then: default progression) p, p′ p, p′ (inertial flow, stutter) p, p′ (no temporal progression) No change without force

  • inertia

No time without change

  • Aristotle

◮ forces may intervene + pictures are not wholly stative

A picture’s worth a thousand words – some stative, some not

◮ model-theoretic interpretation in MSO under a projective

system differentiating stative from non-stative predicates