A Polynomial Translation of S4 into Intuitionistic Logic

Journal of Symbolic Logic 71 (3):989 - 1001 (2006)
  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: 103,486

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
2010-08-24

Downloads
22 (#1,030,498)

6 months
3 (#1,096,948)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Implicit and Explicit Stances in Logic.Johan van Benthem - 2019 - Journal of Philosophical Logic 48 (3):571-601.

Add more citations