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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,888

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

Locally Tabular Extensions of MIPC.Guram Bexhanishvili & Revaz Girgolia - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 119-138.
Finitary unification in locally tabular modal logics characterized.Wojciech Dzik, Sławomir Kost & Piotr Wojtylak - 2022 - Annals of Pure and Applied Logic 173 (4):103072.
Conservative extensions in modal logic.S. Ghilardi, C. Lutz, F. Wolter & M. Zaharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 187-207.
Structural completeness of modal logics containing K4.Wieslaw Dziobiak - 1983 - Bulletin of the Section of Logic 12 (1):32-35.
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.Takahito Aoto & Hiroyuki Shirasu - 1999 - Mathematical Logic Quarterly 45 (4):435-448.
Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 349-363.
Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 349-363.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
The structure of the lattice of normal extensions of modal logics with cyclic axioms.Yutaka Miyazaki - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 489-502.
A Resolution-Based Decision Procedure for Extensions of K4.Harald Ganzinger, Ullrich Hustadt, Christoph Meyer & Renate A. Schmidt - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 243-262.

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