A note about the axioms for branching-time logic

Notre Dame Journal of Formal Logic 33 (2):225-228 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636100

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.Bolesław Sobociński - 1978 - Notre Dame Journal of Formal Logic 19 (3):457-460.
A final note on S1° and the Brouwerian axioms.Ivo Thomas - 1963 - Notre Dame Journal of Formal Logic 4:231.
Axioms for tense logic. II. Time periods.John P. Burgess - 1982 - Notre Dame Journal of Formal Logic 23 (4):375-383.
The numeral axioms.Richard Butrick - 1977 - Notre Dame Journal of Formal Logic 18 (3):475-476.
Axioms for mereology.Audoënus Le Blanc - 1985 - Notre Dame Journal of Formal Logic 26 (4):429-436.
Premisses are not axioms.Charles F. Kielkopf - 1972 - Notre Dame Journal of Formal Logic 13 (1):129-130.
The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic.Ross T. Brady - 1972 - Notre Dame Journal of Formal Logic 13 (2):161-176.
Axioms for tense logic. I. "Since" and "until".John P. Burgess - 1982 - Notre Dame Journal of Formal Logic 23 (4):367-374.
The consistency of the axioms of abstraction and extensionality in a three-valued logic.Ross T. Brady - 1971 - Notre Dame Journal of Formal Logic 12 (4):447-453.
On the generalized Brouwerian axioms.Bolesław Sobociński - 1962 - Notre Dame Journal of Formal Logic 3 (2):123-128.

Analytics

Added to PP
2010-08-24

Downloads
42 (#536,733)

6 months
16 (#193,357)

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

No references found.

Add more references