Finite model property for some intuitionistic modal logics

Bulletin of the Section of Logic 30 (2):87-97 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
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.
On modal logics with an intuitionistic base.Gisele Servi - 1977 - Bulletin of the Section of Logic 6 (1):32-34.
New Modification of the Subformula Property for a Modal Logic.Mitio Takano - 2020 - Bulletin of the Section of Logic 49 (3):255-268.
Prefinitely axiomatizable modal and intermediate logics.Marcus Kracht - 1993 - Mathematical Logic Quarterly 39 (1):301-322.
On Some Method Of Axiomatization Of Some Propositional Calculi.Zdzislaw Dywan - 1986 - Bulletin of the Section of Logic 15 (2):52-56.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
Finite Logics and the simple substitution property.Tsutomu Hosoi & Katsumi Sasaki - 1990 - Bulletin of the Section of Logic 19 (3):74-78.

Analytics

Added to PP
2014-01-19

Downloads
46 (#483,443)

6 months
6 (#873,397)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.
On some intuitionistic modal logics.Hiroakira Ono - 1977 - Bulletin of the Section of Logic 6 (4):182-184.
Fischer Servi's Intuitionistic Modal Logic has the Finite Modal Property.Carsten Grefe - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 85-98.

View all 6 references / Add more references