Journal of Philosophical Logic 27 (4):353-387 (1998)

Abstract
This paper investigates (modal) extensions of Heyting-Brouwer logic, i.e., the logic which results when the dual of implication (alias coimplication) is added to the language of intuitionistic logic. We first develop matrix as well as Kripke style semantics for those logics. Then, by extending the Gö;del-embedding of intuitionistic logic into S4, it is shown that all (modal) extensions of Heyting-Brouwer logic can be embedded into tense logics (with additional modal operators). An extension of the Blok-Esakia-Theorem is proved for this embedding
Keywords Philosophy
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1004218110879
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
Through your library

References found in this work BETA

An Essay in Classical Modal Logic.Krister Segerberg - 1971 - Uppsala, Sweden: Uppsala, Filosofiska Föreningen Och Filosofiska Institutionen Vid Uppsala Universitet.
Semantic Analysis of Tense Logics.S. K. Thomason - 1972 - Journal of Symbolic Logic 37 (1):150-158.
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.

View all 21 references / Add more references

Citations of this work BETA

Modal Logics with Belnapian Truth Values.Serge P. Odintsov & Heinrich Wansing - 2010 - Journal of Applied Non-Classical Logics 20 (3):279-304.
Constructive Negation, Implication, and Co-Implication.Heinrich Wansing - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):341-364.

View all 20 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
61 ( #190,755 of 2,533,567 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,567 )

How can I increase my downloads?

Downloads

My notes