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: 92,923

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.Goran Sundholm - 1977 - Bulletin of the Section of Logic 6 (2):70-72.
A completeness proof for an infinitary tense-logic.B. G. Sundholm - 1977 - Theoria 43 (1):47-51.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
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.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
On the Proof Theory of the Modal mu-Calculus.Thomas Studer - 2008 - Studia Logica 89 (3):343-363.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
Natural deduction for the finite least fixed point logic with an infinitary rule.Alexandre Arruda & Ana Martins - 2009 - Logic Journal of the IGPL 17 (5):531-558.
A temporal logic for sortals.Max A. Freund - 2001 - Studia Logica 69 (3):351-380.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Tense Logic.Ulrich Meyer - 2015 - Philosophy Compass 10 (6):406-419.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
Completeness theorem for topological class models.Radosav Djordjevic, Nebojša Ikodinović & Žarko Mijajlović - 2007 - Archive for Mathematical Logic 46 (1):1-8.

Analytics

Added to PP
2017-02-20

Downloads
9 (#1,278,126)

6 months
5 (#707,850)

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