Axiomatization of Fragments of S5

Dissertation, University of Notre Dame (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891611

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,197

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 Quasivariety Semantics Of Fragments Of Intuitionistic Propositional Logic Without Exchange And Contraction Rules.C. Van Alten & J. Raftery - 1997 - Reports on Mathematical Logic:3-55.
An axiomatization for until and since over the reals without the IRR rule.Mark Reynolds - 1992 - Studia Logica 51 (2):165 - 193.
Axiomatization of propositional calculus with Sheffer functors.Thomas W. Scharle - 1965 - Notre Dame Journal of Formal Logic 6 (3):209-217.
On the quantifier complexity of Δ n+1 (T)– induction.A. Cordón-Franco, A. Fernández-Margarit & F. F. Lara-Martín - 2004 - Archive for Mathematical Logic 43 (3):371-398.
A new axiomatization of Jaśkowski's discussive logic.Vladimir L. Vasyukov - 2001 - Logic and Logical Philosophy 9:35.
Axiomatization of 'peircean' branching-time logic.Alberto Zanardo - 1990 - Studia Logica 49 (2):183 - 195.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Axiomatization of a Denotational Semantics for First-order Logic.C. Vermeulen - 2004 - Logic Journal of the IGPL 12 (4):277-299.
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
Cleanthes, Fragments: Text and Commentary.Albert Tohru Watanabe - 1988 - Dissertation, University of Illinois at Urbana-Champaign
Fragments of Modal and Intuitionistic Propositional Calculi.Ralph Henry Moon - 1979 - Dissertation, Purdue University
Anaximandre, Fragments et témoignagesAnaximandre, Fragments et témoignages.Thomas De Koninck - 1994 - Laval Théologique et Philosophique 50 (1):240-246.
Empedocles, the extant fragments.M. R. Wright - 1995 - Cambridge: Hackett Pub. Co.. Edited by M. R. Wright.
Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
An algebraic treatment of quantifier-free systems of arithmetic.Franco Montagna - 1996 - Archive for Mathematical Logic 35 (4):209-224.

Analytics

Added to PP
2015-02-05

Downloads
8 (#1,321,511)

6 months
8 (#367,748)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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