Locally Tabular Extensions of MIPC

&
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 119-138 (1998)
  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: 92,075

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

The Kuznetsov-Gerčiu and Rieger-Nishimura logics.Guram Bezhanishvili, Nick Bezhanishvili & Dick de Jongh - 2008 - Logic and Logical Philosophy 17 (1-2):73-110.
Locally Tabular $$ne $$ Locally Finite.Sérgio Marcelino & Umberto Rivieccio - 2017 - Logica Universalis 11 (3):383-400.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
The lattice of normal modal logics (preliminary report).Wolfgang Rautenberg - 1977 - Bulletin of the Section of Logic 6 (4):193-199.
Some locally tabular logics with contraction and mingle.Ai-ni Hsieh - 2010 - Reports on Mathematical Logic:143-159.
Glivenko type theorems for intuitionistic modal logics.Guram Bezhanishvili - 2001 - Studia Logica 67 (1):89-109.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Two sequences of locally tabular superintuitionistic logics.S. I. Mardaev - 1991 - Studia Logica 50 (2):333 - 342.
Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
Locally o-minimal structures and structures with locally o-minimal open core.Antongiulio Fornasiero - 2013 - Annals of Pure and Applied Logic 164 (3):211-229.
Structural completeness of modal logics containing K4.Wieslaw Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
Open subspaces of locally compact metric spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):213-216.
MIPC as the formalisation of an intuitionist concept of modality.R. A. Bull - 1966 - Journal of Symbolic Logic 31 (4):609-616.

Analytics

Added to PP
2018-02-17

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

Local tabularity without transitivity.Ilya Shapirovsky & Valentin Shehtman - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 520-534.

Add more citations

References found in this work

No references found.

Add more references