On modal logics with an intuitionistic base

Bulletin of the Section of Logic 6 (1):32-34 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Finite model property for some intuitionistic modal logics.Yasusi Hasimoto - 2001 - Bulletin of the Section of Logic 30 (2):87-97.
Intuitionistic implication in some non-classical modal logics of type s4.Josep M. Font - 1983 - Bulletin of the Section of Logic 12 (1):2-5.
Even Tabular Modal Logics Sometimes Do Not Have Independent Base for Admissible Rules.Vladimir V. Rybakov - 1995 - Bulletin of the Section of Logic 24 (1):37-40.
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations.Kristina Brantley - 2020 - Bulletin of Symbolic Logic 26 (3-4):296-296.
An application of the Rieger-Nishimura formulas to the intuitionistic modal logics.Dimiter Vakarelov - 1984 - Bulletin of the Section of Logic 13 (3):120-122.
Subframe formulas for s4-type intuitionistic modal logic.Kazuyo Inoi - 2001 - Bulletin of the Section of Logic 30 (2):99-105.
Cut-free tableau calculi for some intuitionistic modal logics.Mauro Ferrari - 1997 - Studia Logica 59 (3):303-330.
A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes In Computer Science. Springer Verlag. pp. 495-503.
A remark on super-intuitionistic predicate logics having the same propositional fragment.Nobu-Yuki Suzuki - 1999 - Bulletin of the Section of Logic 28 (2):107-115.

Analytics

Added to PP
2017-02-23

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references