Time, tense, and modality : a study of branching time
This thesis is about branching time. In the opening chapter I discuss philosophical ideas in the philosophy of time and modality, and motivate branching time. In the second chapter I outline the basics of temporal and modal logic and model theory. In chapter three I examine various ways of construin...
Saved in:
Main Author | |
---|---|
Format | Dissertation |
Language | English |
Published |
University of Bristol
2011
|
Online Access | Get full text |
Cover
Loading…
Abstract | This thesis is about branching time. In the opening chapter I discuss philosophical ideas in the philosophy of time and modality, and motivate branching time. In the second chapter I outline the basics of temporal and modal logic and model theory. In chapter three I examine various ways of construing the future tense in branching time. In chapter four I examine closely 'Ockhamist' semantics, and suggest a modification to the theory of the Thin Red Line, making a position referred to as 'STRL'. In chapter five I outline how a theory of counterfactuals can be made compatible with STRL logic. In chapter 6 I discuss branching time's relation to relativity theory. In chapter 7 I end with a discussion of the metaphysics of Belnap and the metaphysics of STRL. |
---|---|
AbstractList | This thesis is about branching time. In the opening chapter I discuss philosophical ideas in the philosophy of time and modality, and motivate branching time. In the second chapter I outline the basics of temporal and modal logic and model theory. In chapter three I examine various ways of construing the future tense in branching time. In chapter four I examine closely 'Ockhamist' semantics, and suggest a modification to the theory of the Thin Red Line, making a position referred to as 'STRL'. In chapter five I outline how a theory of counterfactuals can be made compatible with STRL logic. In chapter 6 I discuss branching time's relation to relativity theory. In chapter 7 I end with a discussion of the metaphysics of Belnap and the metaphysics of STRL. |
Author | Malpass, Alex P |
Author_xml | – sequence: 1 fullname: Malpass, Alex P |
BookMark | eNqdizsOAiEQQCm08HeHOYA2EhJjazQeYHsyCCuTZYcEZgtuL8WewOq94r292nDmsFNmoDmcQQLXDmQPc_aYSBrcAaHK4hvkEVxB_kTiL0gfjmo7YqrhtPKgrq_n8HhfXCGhGhP1vjQbJOZqM9JqLtllssaYm9b6r-kH2LQ-IA |
ContentType | Dissertation |
DBID | ABQQS LLH |
DEWEY | 115 |
DatabaseName | EThOS: Electronic Theses Online Service (Full Text) EThOS: Electronic Theses Online Service |
DatabaseTitleList | |
Database_xml | – sequence: 1 dbid: LLH name: EThOS: Electronic Theses Online Service url: http://ethos.bl.uk/ sourceTypes: Open Access Repository |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Philosophy |
DissertationDegree | Thesis (Ph.D.) |
DissertationSchool | University of Bristol |
ExternalDocumentID | oai_ethos_bl_uk_555833 |
GroupedDBID | ABQQS LLH |
ID | FETCH-britishlibrary_ethos_oai_ethos_bl_uk_5558333 |
IEDL.DBID | LLH |
IngestDate | Tue Apr 04 21:56:08 EDT 2023 |
IsOpenAccess | true |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-britishlibrary_ethos_oai_ethos_bl_uk_5558333 |
Notes | 0000000427185965 |
OpenAccessLink | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555833 |
ParticipantIDs | britishlibrary_ethos_oai_ethos_bl_uk_555833 |
PublicationCentury | 2000 |
PublicationDate | 2011 |
PublicationDateYYYYMMDD | 2011-01-01 |
PublicationDate_xml | – year: 2011 text: 2011 |
PublicationDecade | 2010 |
PublicationYear | 2011 |
Publisher | University of Bristol |
Publisher_xml | – name: University of Bristol |
Score | 3.182251 |
Snippet | This thesis is about branching time. In the opening chapter I discuss philosophical ideas in the philosophy of time and modality, and motivate branching time.... |
SourceID | britishlibrary |
SourceType | Open Access Repository |
Title | Time, tense, and modality : a study of branching time |
URI | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.555833 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQSQRVW4kmwNLP2MRM1yTVIk03yTQ1SdfY0jARmH4szVPB-9Z8_cw8Qk28IkwjoFd9gcZ0SzLyi_WSckC7qPxBZ0-6gBdSFuul5NuXZubZlmaDJCGqQCdVGRszM7AamQEbzaBzJH08uBn4kiCHAUEHQZAqCzdBBh4XpEluIQam1DxhBq4A2J0BlSIMpqCNFzoKoMXjQArYl1fIzU8BN4gVrBQSFcBHvirkpykkgW69AA0RKYCugBdlMHJzDXH20EW1Ox7sznjQAc4QVlJOfGl2PMTdxmIMLMAOfqoEg4JliqWleZoRaMoQ2DlLSUxKBVJGyRampompxqZmyZIM2iQYLEWSamkGLsgoKQjJMLCUFJWmygKr2ZIkOXCAAgAeyYsi |
link.rule.ids | 230,312,783,888,4061,26576 |
linkProvider | British Library Board |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adissertation&rft.genre=dissertation&rft.title=Time%2C+tense%2C+and+modality+%3A+a+study+of+branching+time&rft.DBID=ABQQS%3BLLH&rft.au=Malpass%2C+Alex+P&rft.date=2011&rft.pub=University+of+Bristol&rft.inst=University+of+Bristol&rft.externalDBID=n%2Fa&rft.externalDocID=oai_ethos_bl_uk_555833 |