Conservative extensions in modal logic

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 187-207 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

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.
Carnapian extensions of S.Herbert E. Hendry & M. L. Pokriefka - 1985 - Journal of Philosophical Logic 14 (2):111 - 128.
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.
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.
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.
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.
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
9 (#449,242)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references