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:

Share |

---

Item Type:	Preprint
Creators:	Creators Email ORCID Costa, Vitor vitor.m.costa@outlook.com 0000-0002-8719-4025
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