PhilSci Archive

Wally axiomatics of Branching Continuations

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

PDF - Submitted Version
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (284Kb) | Preview


    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
    Keywords: branching continuations, axioms, temporal logic
    Subjects: General Issues > Determinism/Indeterminism
    Specific Sciences > Mathematics
    Depositing User: Petr Švarný
    Date Deposited: 17 Jul 2012 02:11
    Last Modified: 17 Jul 2012 02:11
    Item ID: 9231

    Actions (login required)

    View Item

    Document Downloads