Švarný, Petr (2012) Wally axiomatics of Branching Continuations. [Preprint]
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/application_pdf.png)
|
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: |
| Item Type: | Preprint | ||||||
|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||
| 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 |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}