Distinct Modalities are not Equivalent in T

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):123-125 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19760220116

Links

PhilArchive



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

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

Distinct Modalities are not Equivalent in T.J. Czermak - 1976 - Mathematical Logic Quarterly 22 (1):123-125.
A Test to Determine Distinct Modalities in the Extensions ofS4.Fabio Bellissima - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):57-61.
A Neighbourhood Frame for T with No Equivalent Relational Frame.Martin Gerson - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):29-34.
Modalities of Systems Containing S3.K. E. Pledger - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):267-283.
Sentences Preserved between Equivalent Topological Bases.T. A. McKee - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):79-84.
Elliott Mendelson. A semantic proof of the eliminability of descriptions. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 , pp. 199–200. - T. G. McLaughlin. A muted variation on a theme of Mendelson. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 57–60. [REVIEW]John Bacon - 1973 - Journal of Symbolic Logic 38 (4):660.
Deduction Theorems for T, E and R Reconsidered.Aleksandar Kron - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):261-264.
On A Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory.Albert A. Mullin - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):203-205.
Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):111-112.
The t-variable method in gentzen-style automatic theorem proving.Tryggvi Edwald - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):253-261.

Analytics

Added to PP
2016-02-04

Downloads
21 (#762,792)

6 months
21 (#133,716)

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

An introduction to modal logic.G. E. Hughes - 1968 - London,: Methuen. Edited by M. J. Cresswell.
Modal logic, the Lewis-modal systems.J. Jay Zeman - 1973 - Revue Philosophique de la France Et de l'Etranger 163:479-479.

Add more references