Projective Beth;s Properties in Infinite Slice Extensions of the Modal Logic K4

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 349-363 (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: 91,219

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

Projective Beth Property in Extensions of Grzegorczyk Logic.Larisa Maksimova - 2006 - Studia Logica 83 (1):365-391.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
Problem of restricted interpolation in superintuitionistic and some modal logics.Larisa Maksimova - 2010 - Logic Journal of the IGPL 18 (3):367-380.
Algebraic characterizations of various Beth definability properties.Eva Hoogland - 2000 - Studia Logica 65 (1):91-112.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
Projective unification in modal logic.Wojciech Dzik & Piotr Wojtylak - 2012 - Logic Journal of the IGPL 20 (1):121-153.
On the Beth properties of some intuitionistic modal logics.C. Luppi - 2002 - Archive for Mathematical Logic 41 (5):443-454.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
Interpolation and Beth Definability over the Minimal Logic.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 459-463.
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
Filtering unification and most general unifiers in modal logic.Silvio Ghilardi & Lorenzo Sacchetti - 2004 - Journal of Symbolic Logic 69 (3):879-906.
Simulation and transfer results in modal logic – a survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
On a four-valued modal logic with deductive implication.Marcelo E. Coniglio & Martín Figallo - 2014 - Bulletin of the Section of Logic 43 (1/2):1-18.

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

Add more citations

References found in this work

No references found.

Add more references