Axiomatization of fragments of S5

Notre Dame Journal of Formal Logic 16:45 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891611

Links

PhilArchive



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

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

Axiomatization of Fragments of S5.Thomas Warren Scharle - 1973 - Dissertation, University of Notre Dame
The axiomatization problem for fragments.C. Smorynski - 1978 - Annals of Mathematical Logic 14 (2):193.
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.
Wally axiomatics of Branching Continuations.Petr Švarný - unknown
Axiomatization of propositional calculus with Sheffer functors.Thomas W. Scharle - 1965 - Notre Dame Journal of Formal Logic 6 (3):209-217.
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.
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.
Axiomatization of a Denotational Semantics for First-order Logic.C. Vermeulen - 2004 - Logic Journal of the IGPL 12 (4):277-299.
A Gentzen-style axiomatization for basic predicate calculus.Mojtaba Aghaei & Mohammad Ardeshir - 2003 - Archive for Mathematical Logic 42 (3):245-259.
Axiomatization of a Branching Time Logic with Indistinguishability Relations.Alberto Gatto - 2016 - Journal of Philosophical Logic 45 (2):155-182.
Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
Cleanthes, Fragments: Text and Commentary.Albert Tohru Watanabe - 1988 - Dissertation, University of Illinois at Urbana-Champaign
Rationally Functional Dependence.Pavel Naumov & Brittany Nicholls - 2014 - Journal of Philosophical Logic 43 (2-3):603-616.

Analytics

Added to PP
2010-08-24

Downloads
12 (#1,092,565)

6 months
1 (#1,478,830)

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