A completeness proof for an infinitary tense-logic

Theoria 43 (1):47-51 (1977) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

Author's Profile

B. Göran Sundholm

Leiden University

Categories

Areas of Mathematics in Philosophy of Mathematics

Keywords

DOI

10.1111/j.1755-2567.1977.tb00778.x

Links

PhilArchive

Upload a copy of this work Papers currently archived: 77,670

External links

From the Publisher via CrossRef (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

T Ã W Completeness.Franz Kutschervona - 1997 - Journal of Philosophical Logic 26 (3):241-250.

A temporal logic for sortals.Max A. Freund - 2001 - Studia Logica 69 (3):351-380.

Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization. [REVIEW]Lennart Åqvist - 1996 - Journal of Philosophical Logic 25 (1):45 - 100.

Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.

Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.

Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.

Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown

Analytics

Added to PP
2010-07-27

Downloads
46 (#260,197)

6 months
2 (#322,315)

Historical graph of downloads

How can I increase my downloads?

Author's Profile

B. Göran Sundholm

Leiden University

Citations of this work

Loop-Check Specification for a Sequent Calculus of Temporal Logic.Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė & Haroldas Giedra - 2022 - Studia Logica 110 (6):1507-1536.

Add more citations

References found in this work

Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.

Add more references