Survey of generalizations of Urquhart semantics

Notre Dame Journal of Formal Logic 28 (2):220-237 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636940

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,830

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

Correction to: ``Survey of generalizations of Urquhart semantics''.R. A. Bull - 1988 - Notre Dame Journal of Formal Logic 30 (1):151-153.
R. A. Bull. On the extension of S4 with CLMpMLp. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 325–329.Kit Fine - 1974 - Journal of Symbolic Logic 39 (3):612.
Operational semantics for positive "R".I. L. Humberstone - 1987 - Notre Dame Journal of Formal Logic 29:61-80.
R-mingle and beneath. Extensions of the Routley-Meyer semantics for R.J. Michael Dunn - 1979 - Notre Dame Journal of Formal Logic 20:369.
On generalizations of a theorem of Vaught.Balázs Biró - 1990 - Notre Dame Journal of Formal Logic 31 (2):330-336.
Prior A. N.. Notes on a group of new modal systems. Logique et analyse, n.s. vol. 2 , pp. 122–127.Bull R. A.. An axiomatization of Prior's modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 211–214.Prior A. N.. Axiomatisations of the modal calculus. Notre Dame journal of formal logic, vol. 5 no. 3 , pp. 215–217. [REVIEW]M. J. Cresswell - 1970 - Journal of Symbolic Logic 35 (3):464.
Generalizations of the distributive and associative laws.Alan C. Wilde - 1974 - Notre Dame Journal of Formal Logic 15 (3):491-493.
The strong decidability of cut logics. II. Generalizations.E. William Chapin - 1971 - Notre Dame Journal of Formal Logic 12 (4):429-434.
Some examples of different methods of formal proofs with generalizations of the satisfiability definition.Juliusz Reichbach - 1969 - Notre Dame Journal of Formal Logic 10 (2):214-224.
A formal metasystem for Frege's semantics.Will Harris - 1975 - Notre Dame Journal of Formal Logic 16 (1):89-101.

Analytics

Added to PP
2010-08-24

Downloads
39 (#571,859)

6 months
10 (#388,339)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The gentzenization and decidability of RW.Ross T. Brady - 1990 - Journal of Philosophical Logic 19 (1):35 - 73.
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.

Add more citations

References found in this work

No references found.

Add more references