Contextual Validity in Hybrid Logic

Patrick Rowan Blackburn, Klaus Frovin Jørgensen

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Resumé

Hybrid tense logic is an extension of Priorean tense logic in which it is possible to refer to times using special propositional sym- bols called nominals. Temporal indexicals are expressions such as now, yesterday, today, tomorrow and four days ago that have highly context- dependent interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interacts with ordinary logi- cal validity in interesting and often unexpected ways. In this paper we model these interactions by combining standard techniques from hybrid logic with insights from the work of Hans Kamp and David Kaplan. We introduce a simple proof rule, which we call the Kamp Rule, and first we show that it is all we need to take us from logical validities involving now to contextual validities involving now too. We then go on to show that this deductive bridge is strong enough to carry us to contextual validities involving yesterday, today and tomorrow as well.
OriginalsprogDansk
TitelModeling and using context : 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings
RedaktørerPatrick Brezillion, Patrick Blackburn
Antal sider14
ForlagSpringer Publishing Company
Publikationsdato2013
Sider185-198
StatusUdgivet - 2013
NavnLecture Notes in Computer Science
Vol/bind8175
ISSN0302-9743

Citer dette

Blackburn, P. R., & Jørgensen, K. F. (2013). Contextual Validity in Hybrid Logic. I P. Brezillion, & P. Blackburn (red.), Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings (s. 185-198). Springer Publishing Company. Lecture Notes in Computer Science, Bind. 8175
Blackburn, Patrick Rowan ; Jørgensen, Klaus Frovin. / Contextual Validity in Hybrid Logic. Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. red. / Patrick Brezillion ; Patrick Blackburn. Springer Publishing Company, 2013. s. 185-198 (Lecture Notes in Computer Science, Bind 8175).
@inproceedings{a4c2b63747014f8db99318e62ea9ad69,
title = "Contextual Validity in Hybrid Logic",
abstract = "Hybrid tense logic is an extension of Priorean tense logic in which it is possible to refer to times using special propositional sym- bols called nominals. Temporal indexicals are expressions such as now, yesterday, today, tomorrow and four days ago that have highly context- dependent interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interacts with ordinary logi- cal validity in interesting and often unexpected ways. In this paper we model these interactions by combining standard techniques from hybrid logic with insights from the work of Hans Kamp and David Kaplan. We introduce a simple proof rule, which we call the Kamp Rule, and first we show that it is all we need to take us from logical validities involving now to contextual validities involving now too. We then go on to show that this deductive bridge is strong enough to carry us to contextual validities involving yesterday, today and tomorrow as well.",
author = "Blackburn, {Patrick Rowan} and J{\o}rgensen, {Klaus Frovin}",
year = "2013",
language = "Dansk",
pages = "185--198",
editor = "Patrick Brezillion and Patrick Blackburn",
booktitle = "Modeling and using context",
publisher = "Springer Publishing Company",
address = "USA",

}

Blackburn, PR & Jørgensen, KF 2013, Contextual Validity in Hybrid Logic. i P Brezillion & P Blackburn (red), Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. Springer Publishing Company, Lecture Notes in Computer Science, bind 8175, s. 185-198.

Contextual Validity in Hybrid Logic. / Blackburn, Patrick Rowan; Jørgensen, Klaus Frovin.

Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. red. / Patrick Brezillion; Patrick Blackburn. Springer Publishing Company, 2013. s. 185-198 (Lecture Notes in Computer Science, Bind 8175).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - Contextual Validity in Hybrid Logic

AU - Blackburn, Patrick Rowan

AU - Jørgensen, Klaus Frovin

PY - 2013

Y1 - 2013

N2 - Hybrid tense logic is an extension of Priorean tense logic in which it is possible to refer to times using special propositional sym- bols called nominals. Temporal indexicals are expressions such as now, yesterday, today, tomorrow and four days ago that have highly context- dependent interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interacts with ordinary logi- cal validity in interesting and often unexpected ways. In this paper we model these interactions by combining standard techniques from hybrid logic with insights from the work of Hans Kamp and David Kaplan. We introduce a simple proof rule, which we call the Kamp Rule, and first we show that it is all we need to take us from logical validities involving now to contextual validities involving now too. We then go on to show that this deductive bridge is strong enough to carry us to contextual validities involving yesterday, today and tomorrow as well.

AB - Hybrid tense logic is an extension of Priorean tense logic in which it is possible to refer to times using special propositional sym- bols called nominals. Temporal indexicals are expressions such as now, yesterday, today, tomorrow and four days ago that have highly context- dependent interpretations. Moreover, such indexicals give rise to a special kind of validity—contextual validity—that interacts with ordinary logi- cal validity in interesting and often unexpected ways. In this paper we model these interactions by combining standard techniques from hybrid logic with insights from the work of Hans Kamp and David Kaplan. We introduce a simple proof rule, which we call the Kamp Rule, and first we show that it is all we need to take us from logical validities involving now to contextual validities involving now too. We then go on to show that this deductive bridge is strong enough to carry us to contextual validities involving yesterday, today and tomorrow as well.

M3 - Konferencebidrag i proceedings

SP - 185

EP - 198

BT - Modeling and using context

A2 - Brezillion, Patrick

A2 - Blackburn, Patrick

PB - Springer Publishing Company

ER -

Blackburn PR, Jørgensen KF. Contextual Validity in Hybrid Logic. I Brezillion P, Blackburn P, red., Modeling and using context: 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013, Proceedings. Springer Publishing Company. 2013. s. 185-198. (Lecture Notes in Computer Science, Bind 8175).