No Cover Image

Book chapter 799 views 6 downloads

Tense and Temporality: Computing and the Logic of Time

Troy Astarte

Computing Cultures: Knowledges and Practices (1940–1990), Pages: 255 - 280

Swansea University Author: Troy Astarte

  • 65273.AAM.pdf

    PDF | Accepted Manuscript

    Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).

    Download (424.6KB)

Abstract

This chapter explores the role of time in logic, from ancient history to modern computing. It provides anoutline and primer on the development of tense logic, and explores how these ideas found their way intocomputer science. The chapter examines how certain philosophical problems in this space saw...

Full description

Published in: Computing Cultures: Knowledges and Practices (1940–1990)
ISBN: 978-3-95796-273-7 978-3-95796-274-4
Published: Lüneburg meson press 2025
Online Access: https://meson.press/books/computing-cultures/
URI: https://cronfa.swan.ac.uk/Record/cronfa65273
first_indexed 2023-12-13T14:49:05Z
last_indexed 2026-01-17T05:17:54Z
id cronfa65273
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2026-01-16T12:31:19.5831957</datestamp><bib-version>v2</bib-version><id>65273</id><entry>2023-12-13</entry><title>Tense and Temporality: Computing and the Logic of Time</title><swanseaauthors><author><sid>e27e50656bd09f48772e6370ee7edae7</sid><firstname>Troy</firstname><surname>Astarte</surname><name>Troy Astarte</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2023-12-13</date><deptcode>MACS</deptcode><abstract>This chapter explores the role of time in logic, from ancient history to modern computing. It provides anoutline and primer on the development of tense logic, and explores how these ideas found their way intocomputer science. The chapter examines how certain philosophical problems in this space saw new light as technical questions, and explores the role of logic in computer science.</abstract><type>Book chapter</type><journal>Computing Cultures: Knowledges and Practices (1940&#x2013;1990)</journal><volume/><journalNumber/><paginationStart>255</paginationStart><paginationEnd>280</paginationEnd><publisher>meson press</publisher><placeOfPublication>L&#xFC;neburg</placeOfPublication><isbnPrint>978-3-95796-273-7</isbnPrint><isbnElectronic>978-3-95796-274-4</isbnElectronic><issnPrint/><issnElectronic/><keywords>history of computing, logic, concurrency, history of science, philosophy of science</keywords><publishedDay>31</publishedDay><publishedMonth>12</publishedMonth><publishedYear>2025</publishedYear><publishedDate>2025-12-31</publishedDate><doi/><url>https://meson.press/books/computing-cultures/</url><notes/><college>COLLEGE NANME</college><department>Mathematics and Computer Science School</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>MACS</DepartmentCode><institution>Swansea University</institution><apcterm>Other</apcterm><funders>Leverhulme Trust Grant No. RPG-2019-020</funders><projectreference>RPG-2019-020</projectreference><lastEdited>2026-01-16T12:31:19.5831957</lastEdited><Created>2023-12-13T14:44:52.1407185</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Troy</firstname><surname>Astarte</surname><order>1</order></author></authors><documents><document><filename>65273__36022__5a0002161c2b417ca0c8ddf4a6868836.pdf</filename><originalFilename>65273.AAM.pdf</originalFilename><uploaded>2026-01-16T12:23:30.4763128</uploaded><type>Output</type><contentLength>434787</contentLength><contentType>application/pdf</contentType><version>Accepted Manuscript</version><cronfaStatus>true</cronfaStatus><documentNotes>Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by/4.0/</licence></document></documents><OutputDurs/></rfc1807>
spelling 2026-01-16T12:31:19.5831957 v2 65273 2023-12-13 Tense and Temporality: Computing and the Logic of Time e27e50656bd09f48772e6370ee7edae7 Troy Astarte Troy Astarte true false 2023-12-13 MACS This chapter explores the role of time in logic, from ancient history to modern computing. It provides anoutline and primer on the development of tense logic, and explores how these ideas found their way intocomputer science. The chapter examines how certain philosophical problems in this space saw new light as technical questions, and explores the role of logic in computer science. Book chapter Computing Cultures: Knowledges and Practices (1940–1990) 255 280 meson press Lüneburg 978-3-95796-273-7 978-3-95796-274-4 history of computing, logic, concurrency, history of science, philosophy of science 31 12 2025 2025-12-31 https://meson.press/books/computing-cultures/ COLLEGE NANME Mathematics and Computer Science School COLLEGE CODE MACS Swansea University Other Leverhulme Trust Grant No. RPG-2019-020 RPG-2019-020 2026-01-16T12:31:19.5831957 2023-12-13T14:44:52.1407185 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Troy Astarte 1 65273__36022__5a0002161c2b417ca0c8ddf4a6868836.pdf 65273.AAM.pdf 2026-01-16T12:23:30.4763128 Output 434787 application/pdf Accepted Manuscript true Author accepted manuscript document released under the terms of a Creative Commons CC-BY licence using the Swansea University Research Publications Policy (rights retention). true eng https://creativecommons.org/licenses/by/4.0/
title Tense and Temporality: Computing and the Logic of Time
spellingShingle Tense and Temporality: Computing and the Logic of Time
Troy Astarte
title_short Tense and Temporality: Computing and the Logic of Time
title_full Tense and Temporality: Computing and the Logic of Time
title_fullStr Tense and Temporality: Computing and the Logic of Time
title_full_unstemmed Tense and Temporality: Computing and the Logic of Time
title_sort Tense and Temporality: Computing and the Logic of Time
author_id_str_mv e27e50656bd09f48772e6370ee7edae7
author_id_fullname_str_mv e27e50656bd09f48772e6370ee7edae7_***_Troy Astarte
author Troy Astarte
author2 Troy Astarte
format Book chapter
container_title Computing Cultures: Knowledges and Practices (1940–1990)
container_start_page 255
publishDate 2025
institution Swansea University
isbn 978-3-95796-273-7
978-3-95796-274-4
publisher meson press
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url https://meson.press/books/computing-cultures/
document_store_str 1
active_str 0
description This chapter explores the role of time in logic, from ancient history to modern computing. It provides anoutline and primer on the development of tense logic, and explores how these ideas found their way intocomputer science. The chapter examines how certain philosophical problems in this space saw new light as technical questions, and explores the role of logic in computer science.
published_date 2025-12-31T05:17:35Z
_version_ 1856986001753243648
score 11.096295

Similar Items