Indexical Hybrid Tense Logic

Patrick Rowan Blackburn, Klaus Frovin Jørgensen

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Abstract

In this paper we explore the logic of now, yesterday, today and tomorrow by combining the semantic approach to indexicality pioneered by Hans Kamp [9] and refined by David Kaplan [10] with hybrid tense logic. We first introduce a special now nominal (our @now corresponds to Kamp’s original now operator N) and prove completeness results for both logical and contextual validity. We then add propositional constants to handle yesterday, today and tomorrow; our system correctly treats sentences like “Niels will die yesterday” as contextually unsatisfiable. Building on our completeness results for now, we prove completeness for the richer language, again for both logical and contextual validity.
OriginalsprogDansk
TitelAdvances in Modal Logic
Antal sider16
UdgivelsesstedLondon
Publikationsdato2012
Sider144-160
ISBN (Trykt)978-1-84890-068-4
StatusUdgivet - 2012

Link til dokument

  • Aiml12Indsendt manuskript, 289 KB
    • 1 Foredrag og mundtlige bidrag

    • Indexical Hybrid Tense Logic

      Klaus Frovin Jørgensen (Foredragsholder)

      2012

      Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

      Fil

    Citer dette