Costa, Vitor (2025) Historical Announcement Logic: theory, semantics, tableaux and completeness. [Preprint]
![]() |
Text
Main document.pdf Download (388kB) |
Abstract
This paper proposes a dynamic temporal logic that is appropriate for modeling the dynamics of scientific knowledge (especially in historical sciences, such as Archaeology, Paleontology and Geology). For this formalization of historical knowledge, the work is divided into two topics: firstly, we define a temporal branching structure and define the terms for application in Philosophy of Science; Finally, we define a logical system that consists of a variation of Public Announcement Logic in terms of temporal logic, with appropriate rules in a
tableaux method.
Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
Social Networking: |
Item Type: | Preprint | ||||||
---|---|---|---|---|---|---|---|
Creators: |
|
||||||
Keywords: | philosophy of science, branching temporal logic, dynamic logic, modal logic | ||||||
Subjects: | Specific Sciences > Historical Sciences General Issues > Models and Idealization General Issues > Structure of Theories |
||||||
Depositing User: | Dr. Vitor Costa | ||||||
Date Deposited: | 10 Jul 2025 14:11 | ||||||
Last Modified: | 10 Jul 2025 14:11 | ||||||
Item ID: | 25928 | ||||||
Subjects: | Specific Sciences > Historical Sciences General Issues > Models and Idealization General Issues > Structure of Theories |
||||||
Date: | 2025 | ||||||
URI: | https://philsci-archive.pitt.edu/id/eprint/25928 |
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
![]() |
View Item |