Situations as Strings | Zendy

Tim Fernando | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Situations as Strings

Author(s) -

Tim Fernando

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.05.035

Subject(s) - finitary , semantics (computer science) , mathematics , computer science , theoretical computer science , algorithm , discrete mathematics , programming language

ituations serving as worlds as well as events in linguistic semantics are formulated as strings recording observations over discrete time. This formulation is applied to Priorean tense logic, in line with L. Schubert's distinction between described and characterized situations. The distinction is developed topologically and computationally, and linked to the opposition between truth-conditional and proof-conditional semantics. For a finitary handle on quantification, the conception of situations-as-strings is extended from observation to derivation

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research