A modal translation for dual-intuitionistic logic

Review of Symbolic Logic 9 (2):251-265 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1755020316000022

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

A correct polynomial translation of s4 into intuitionistic logic.Rajeev Goré & Jimmy Thomson - 2019 - Journal of Symbolic Logic 84 (2):439-451.
Review: Frederic B. Fitch, Intuitionistic Modal Logic with Quantifiers. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 14 (4):261-261.
Flagg and Friedman's translation is not faithful.Takao Inoué & T. Inoué - 1992 - Mathematical Logic Quarterly 38 (1):551-554.
Intuitionistic Modal Logic with Quantifiers.Frederic B. Fitch - 1950 - Journal of Symbolic Logic 14 (4):261-261.
Intuitionistic tense and modal logic.W. B. Ewald - 1986 - Journal of Symbolic Logic 51 (1):166-179.
Review: Alan Rose, Self-Dual Primitives for Modal Logic. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (3):282-283.
Review: Raymond M. Smullyan, A Generalization of Intuitionistic and Modal Logics. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):316-317.
Review: Melvin Fitting, Proof Methods for Modal and Intuitionistic Logics. [REVIEW]R. A. Bull - 1985 - Journal of Symbolic Logic 50 (3):855-856.
Intuitionistic modal logic and set theory.K. Lano - 1991 - Journal of Symbolic Logic 56 (2):497-516.
Review: Gordon Plotkin, Colin Stirling, A Framework for Intuitionistic Modal Logics. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):669-669.

Analytics

Added to PP
2017-04-05

Downloads
46 (#106,786)

6 months
11 (#1,140,922)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yaroslav Shramko
Kryvyi Rih State Pedagogical University, Ukraine

Citations of this work

Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.
Symmetric and conflated intuitionistic logics.Norihiro Kamide - forthcoming - Logic Journal of the IGPL.

View all 8 citations / Add more citations

References found in this work

Conjectures and Refutations: The Growth of Scientific Knowledge.Mary Hesse - 1965 - Philosophical Quarterly 15 (61):372-374.
Logic for equivocators.David Lewis - 1982 - Noûs 16 (3):431-441.
Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
Foundations of Mathematical Logic.William Craig - 1963 - Journal of Symbolic Logic 45 (2):377-378.

View all 25 references / Add more references