A Completeness Proof For An Infinitary Tense Logic

Bulletin of the Section of Logic 6 (2):70-72 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

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,674

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.
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.
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.
An Infinitary Graded Modal Logic.Maurizio Fattorosi-Barnaba & Silvano Grassotti - 1995 - Mathematical Logic Quarterly 41 (4):547-563.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Completeness: from Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
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.
Russell's completeness proof.Peter Milne - 2008 - History and Philosophy of Logic 29 (1):31-62.

Analytics

Added to PP
2015-02-02

Downloads
9 (#1,272,049)

6 months
3 (#1,026,267)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

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.

Add more citations

References found in this work

No references found.

Add more references