Systems Classically Axiomatized and Properly Contained in Lewis's S3

Journal of Symbolic Logic 33 (2):309-309 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Deontic Counterpart of Lewis's S1.Kam Sing Leung & R. E. Jennings - 2005 - Notre Dame Journal of Formal Logic 46 (2):217-230.
Lewis, causality, and possible worlds.Graham White - 2000 - Dialectica 54 (2):133–137.
Interpretability degrees of finitely axiomatized sequential theories.Albert Visser - 2014 - Archive for Mathematical Logic 53 (1-2):23-42.
Propositional Proof Systems and Fast Consistency Provers.Joost J. Joosten - 2007 - Notre Dame Journal of Formal Logic 48 (3):381-398.
A Finitely Axiomatized Formalization of Predicate Calculus with Equality.Norman D. Megill - 1995 - Notre Dame Journal of Formal Logic 36 (3):435-453.
Some new results on PCL1 and its related systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
Lewis-Style Semantics for Conditional Logic of Obligation.Timothy Bowen Patrick - 1992 - Dissertation, University of Missouri - Columbia

Analytics

Added to PP
2015-02-05

Downloads
9 (#1,254,275)

6 months
3 (#976,418)

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