Intuitionistic Modal Logic

Intuitionistic Modal Logic (1997)

Cached

Download Links

by Frank Wolter , Michael Zakharyaschev

Citations:

BibTeX

@MISC{Wolter97intuitionisticmodal,
    author = {Frank Wolter and Michael Zakharyaschev},
    title = {Intuitionistic Modal Logic},
    year = {1997}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

69	F.: Properties Of Independently Axiomatizable Bimodal Logics - Kracht, Wolter - 1991
18	Axiomatizations for some intuitionistic modal logics - Servi - 1984
17	Intuitionistic tense and modal logic - Ewald - 1986
15	Logics containing K4, Part I - Fine - 1974
13	Varieties of Interior Algebras - Blok - 1976
11	Semantics for a Class of Intuitionistic Modal Calculi - Servi, G - 1980
9	A uniform tableau method for intuitionistic modal logics I - Amati, Pirri - 1994
7	MIPC as formalization of an Intuitionistic concept of modality - Bull - 1966
7	On varieties of Grzegorczyk algebras - Esakia - 1979
6	Modality and Possibility in some intuitionistic modal logics - Font - 1986
6	Fisher Servi´s intuitionistic modal logic has the …nite model property - Grefe - 1998
6	Lattices of modal logics - Maksimova, Rybakov - 1974
4	Models for stronger normal intuitionistic modal logics - Dosen - 1985
3	Models for normal intuitionistic logics - Bozic, Dosen - 1984
2	On some new intuitionistic propositional connectives. 1 - Gabbay - 1977
2	On superintuitionistic logics as fragments of proof logic extensions - Muravitskij - 1986
2	Proof-intuitionistic propositional calculus. Doklady Academii Nauk SSSR - Kuznetsov - 1985
1	New operations in intuitionistic calculus - Bessonov - 1977
1	Modal intuitionistic logics and superintuitionistic predicate logics: correspondence theory - Bezhanishvili - 1997
1	Implication and deduction in some intuitionistic modal logics - Font - 1984
1	On the interpolation property of some intuitionistic modal logics - Luppi - 1996
1	On the nite approximability of the calculus I4 and non-modelability of some of its extensions - Muravitskij