On the Completeness of Chronological Logics with Modal Operators

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (31):487-496 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19790253104

Links

PhilArchive



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

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

On the Completeness of Chronological Logics with Modal Operators.Hirokazu Nishimura - 1979 - Mathematical Logic Quarterly 25 (31):487-496.
Completeness Proofs for Some Logics of Programs.Bogdan S. Chlebus - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (4-7):49-62.
Barwise Completeness Theorems for Some Biprobability Logics.M. Rašković & R. Živaljević - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):133-135.
Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):393-398.
Modal logics withn-ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):193-215.
Sheffer functions for many-valued S5 modal logics.Gerald J. Massey - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):101-104.
Many-valued modal logics: Uses and predicate calculus.Pascal Ostermann - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (4):367-376.
Completeness Theorems For Modal Model Theory With the Montague-Chang Semantics I.J. A. Makowsky & A. Marcja - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):97-104.
Post Completeness and Ultrafilters.David Makinson & Krister Segerberg - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):385-388.
Welding Semantics For Weak Strict Modal Logics into the General Framework of Modal Logic Semantics.Richard Routley - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):497-510.

Analytics

Added to PP
2016-02-04

Downloads
32 (#488,220)

6 months
6 (#700,872)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.

Add more references