PhilSci Archive

Wally axiomatics of Branching Continuations

Švarný, Petr (2012) Wally axiomatics of Branching Continuations. [Preprint]

[img]
Preview
PDF
axiomBCont.pdf - Submitted Version
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (291kB)

Abstract

We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Švarný, Petrsvarnypetr@gmail.com
Keywords: branching continuations, axioms, temporal logic
Subjects: General Issues > Determinism/Indeterminism
Specific Sciences > Mathematics
Depositing User: Petr Švarný
Date Deposited: 17 Jul 2012 06:11
Last Modified: 17 Jul 2012 06:11
Item ID: 9231
Subjects: General Issues > Determinism/Indeterminism
Specific Sciences > Mathematics
Date: July 2012
URI: https://philsci-archive.pitt.edu/id/eprint/9231

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item