A1 is not a conservative extension of s4 but of S

Journal of Philosophical Logic 18 (3):321 - 323 (1989)
  Copy   BIBTEX

Abstract

In [1], D. W. Hart and C. Mcginn considered two logics Al and A2. These logics embody part of a tradition about a priori knowledge and necessity. They proved that A2 is a conservative extension of a well-known modal logic S5 but left the problem whether Al is a conservative extension of S4 open. In this note, we shall show that Al is not a conservative extension of S4 but of S5, and also correct an inadequate proof

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
25 (#542,984)

6 months
2 (#668,348)

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