Indexical Hybrid Tense Logic

Patrick Rowan Blackburn; Klaus Frovin Jørgensen

Indexical Hybrid Tense Logic

Patrick Rowan Blackburn, Klaus Frovin Jørgensen

Science Studies

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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.

Original language	Danish
Title of host publication	Advances in Modal Logic
Number of pages	16
Place of Publication	London
Publication date	2012
Pages	144-160
ISBN (Print)	978-1-84890-068-4
Publication status	Published - 2012

Link to document

Aiml12Submitted manuscript, 289 KB

http://www.aiml.net/volumes/volume9/Blackburn-Jorgensen.pdf

1 Lecture and oral contribution

Indexical Hybrid Tense Logic
Klaus Frovin Jørgensen (Lecturer)
2012
Activity: Talk or presentation › Lecture and oral contribution

File

Cite this

@inproceedings{27b70c859919427e9caaf9254c045568,

title = "Indexical Hybrid Tense Logic",

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{\textquoteright}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.",

author = "Blackburn, {Patrick Rowan} and J{\o}rgensen, {Klaus Frovin}",

year = "2012",

language = "Dansk",

isbn = "978-1-84890-068-4",

pages = "144--160",

booktitle = "Advances in Modal Logic",

}

TY - GEN

T1 - Indexical Hybrid Tense Logic

AU - Blackburn, Patrick Rowan

AU - Jørgensen, Klaus Frovin

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

M3 - Konferencebidrag i proceedings

SN - 978-1-84890-068-4

SP - 144

EP - 160

BT - Advances in Modal Logic

CY - London

ER -

Indexical Hybrid Tense Logic

Abstract

Link to document

Activities

Indexical Hybrid Tense Logic

Cite this