A completeness proof for an infinitary tense‐logic

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

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1111/j.1755-2567.1977.tb00778.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

External links

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

Through your library

My notes

Similar books and articles

A completeness proof for an infinitary tense-logic.B. G. Sundholm - 1977 - Theoria 43 (1):47-51.
A Completeness Proof For An Infinitary Tense Logic.Goran Sundholm - 1977 - Bulletin of the Section of Logic 6 (2):70-72.
Goran Sundholm.Ontologic Versus Epistemologic - 1994 - In Dag Prawitz & Dag Westerståhl (eds.), Logic and Philosophy of Science in Uppsala: Papers From the 9th International Congress of Logic, Methodology and Philosophy of Science. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 373.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
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.
Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2008 - Journal of Logic, Language and Information 17 (1):69-87.
Joachim Schulte and Göran Sundholm, eds., Criss-Crossing a Philosophical Landscape.Nicholas Gier - 1993 - Philosophy in Review 13 (5):266-268.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Tabularity and Post-Completeness in Tense Logic.Qian Chen & M. A. Minghui - 2024 - Review of Symbolic Logic 17 (2):475-492.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.

Analytics

Added to PP
2017-02-20

Downloads
9 (#1,269,748)

6 months
5 (#838,466)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

B. Göran Sundholm
Leiden University

Citations of this work

A model existence theorem in infinitary propositional modal logic.Krister Segerberg - 1994 - Journal of Philosophical Logic 23 (4):337 - 367.
Eine Logik Erster Stufe mit Einem Infinitären Zeitoperator.Hiroya Kawai - 1982 - Mathematical Logic Quarterly 28 (13):173-180.

Add more citations

References found in this work

No references found.

Add more references