On modal logic with an intuitionistic base

Studia Logica 36:141 (1977)
  Copy   BIBTEX

Abstract

A definition of the concept of "Intuitionist Modal Analogue" is presented and motivated through the existence of a theorem preserving translation from MIPC to a bimodal S₄-S₅ calculus

Links

PhilArchive



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

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

On modal logics with an intuitionistic base.Gisele Servi - 1977 - Bulletin of the Section of Logic 6 (1):32-34.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Implicit Versus Explicit Knowledge in Dialogical Logic.Manuel Rebuschi - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 229--246.
A Closer Look at Some Subintuitionistic Logics.Sergio Celani & Ramon Jansana - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
A Closer Look at Some Subintuitionistic Logics.Ramon Jansana & Sergio Celani - 2001 - Notre Dame Journal of Formal Logic 42 (4):225-255.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.

Analytics

Added to PP
2009-01-28

Downloads
54 (#264,197)

6 months
6 (#203,358)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.

View all 27 citations / Add more citations

References found in this work

Algebraic semantics for modal logics I.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (1):46-65.
Algebraic semantics for modal logics II.E. J. Lemmon - 1966 - Journal of Symbolic Logic 31 (2):191-218.
MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.
A modal extension of intuitionist logic.R. A. Bull - 1965 - Notre Dame Journal of Formal Logic 6 (2):142-146.
The Mathematics of Metamathematics.Donald Monk - 1963 - Journal of Symbolic Logic 32 (2):274-275.

View all 7 references / Add more references