PhilSci Archive

Historical Announcement Logic: theory, semantics, tableaux and completeness

Costa, Vitor (2025) Historical Announcement Logic: theory, semantics, tableaux and completeness. [Preprint]

[img] 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:
CreatorsEmailORCID
Costa, Vitorvitor.m.costa@outlook.com0000-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 View Item