A Modal Herbrand's Property

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (31-34):523-530 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860323106

Links

PhilArchive



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

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 Modal Herbrand's Property.Marta Cialdea & Luis Fariñas del Cerro - 1986 - Mathematical Logic Quarterly 32 (31-34):523-530.
A form of herbrand's theorem.Theodore Hailperin - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):107-120.
Bull R. A.. A note on the modal calculi S4.2 and S4.3. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 53–55.Bull R. A.. A class of extensions of the modal system S4 with the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 127–132.Bull R. A.. That all normal extensions of S4.3 have the finite model property. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 341–344. [REVIEW]David Makinson - 1968 - Journal of Symbolic Logic 33 (1):136-136.
A Class of Extensions of the Modal System S4 with the Finite Model Property.R. A. Bull - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):127-132.
Akira Nakamura. A remark on the truth-value stipulation for the modal system M′. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 11–14. - Akira Nakamura. On an axiomatic system of modal logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 14 , pp. 61–66. - R. A. Bull. On a paper of Akira Nakamura. Zeitschrift für mathematische Logik und Grundlagen der Mathematik vol. 15 , pp. 155–156. [REVIEW]M. K. Rennie - 1974 - Journal of Symbolic Logic 39 (2):351-351.
A Reflection Property for Saturated Models.Jerrold M. Gold - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):425-430.
Bounded Properties in Modal Logic.George F. Schumm - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):197-200.
Generalized Modal Sets.Atwell R. Turquette - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (16-18):261-266.
On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):193-194.
Algebraic Semantics for Modal Predicate Logic.James B. Freeman - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):523-552.

Analytics

Added to PP
2014-01-16

Downloads
6 (#711,559)

6 months
30 (#516,860)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Herbrand style proof procedures for modal logic.Marta Cialdea - 1993 - Journal of Applied Non-Classical Logics 3 (2):205-223.

Add more citations

References found in this work

The mathematics of metamathematics.Helena Rasiowa - 1963 - Warszawa,: Państwowe Wydawn. Naukowe. Edited by Roman Sikorski.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

Add more references