Completeness Theorems for Temporal Logics TΩ and □TΩ

Mathematical Logic Quarterly 34 (5):393-398 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19880340503

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

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

Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):393-398.
Barwise Completeness Theorems for Some Biprobability Logics.M. Rašković & R. Živaljević - 1986 - Mathematical Logic Quarterly 32 (7‐9):133-135.
Analyzing completeness of axiomatic functional systems for temporal × modal logics.Alfredo Burrieza Muñiz, Inmaculada Pérez de Guzmán Molina & Emilio J. Muñoz Velasco - 2010 - Mathematical Logic Quarterly 56 (1):89-102.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
Extensions of Makinson's Completeness Theorems in Modal Logic.R. Routley - 1970 - Mathematical Logic Quarterly 16 (3):239-256.
Classical linear logics with mix separation principle.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (2):201-209.
Deduction Theorems for Relevant Logics.Aleksandar Kron - 1973 - Mathematical Logic Quarterly 19 (3‐6):85-92.
Deduction Theorems for Relevant Logics.Aleksandar Kron - 1973 - Mathematical Logic Quarterly 19 (3-6):85-92.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
The completeness of monotonic modal logics.Brian F. Chellas & Audrey McKinney - 1975 - Mathematical Logic Quarterly 21 (1):379-383.

Analytics

Added to PP
2013-12-01

Downloads
9 (#1,279,545)

6 months
2 (#1,258,417)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Mathematical logic: a first course.Joel W. Robbin - 1969 - Mineola, N.Y.: Dover Publications.

Add more references