Modal-Epistemic Variants of Shapiro’s System of Epistemic Arithmetic

Notre Dame Journal of Formal Logic 35 (2):284-291 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



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

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

Reflecting in epistemic arithmetic.Leon Horsten - 1996 - Journal of Symbolic Logic 61 (3):788-801.
Provability in principle and controversial constructivistic principles.Leon Horsten - 1997 - Journal of Philosophical Logic 26 (6):635-660.
Epistemic logic with identifiers.James McLelland - 1976 - Notre Dame Journal of Formal Logic 17 (3):321-343.
Is epistemic logic possible?Max O. Hocutt - 1972 - Notre Dame Journal of Formal Logic 13 (4):433-453.
On the possibility of epistemic logic.Earl McLane - 1979 - Notre Dame Journal of Formal Logic 20 (3):559-574.
Two Proof-Theoretic Remarks on EA + ECT.Volker Halbach & Leon Horsten - 2000 - Mathematical Logic Quarterly 46 (4):461-466.
The $\Omega $-system and the Ł-system of modal logic.Jean Porte - 1979 - Notre Dame Journal of Formal Logic 20 (4):915-920.
On self-sustenance in systems of epistemic logic.Robert J. Titiev - 1980 - Notre Dame Journal of Formal Logic 21 (3):585-590.
Epistemic semantics for classical and intuitionistic logic.John N. Martin - 1984 - Notre Dame Journal of Formal Logic 25 (2):105-116.

Analytics

Added to PP
2010-08-24

Downloads
49 (#447,639)

6 months
9 (#485,111)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Leon Horsten
Universität Konstanz

References found in this work

No references found.

Add more references