Transparent unifiers in modal logics with self-conjugate operators

Bulletin of the Section of Logic 35 (2/3):73-83 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,319

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

On modal logics with an intuitionistic base.Gisele Servi - 1977 - Bulletin of the Section of Logic 6 (1):32-34.
On variable separation in modal logics.L. L. Maksimova - 1995 - Bulletin of the Section of Logic 24 (1):21-25.
Remarks on projective unifiers.Wojciech Dzik - 2011 - Bulletin of the Section of Logic 40 (1/2):37-45.
The lattice of modal logics (preliminary report).W. J. Blok - 1977 - Bulletin of the Section of Logic 6 (3):112-114.
Applicability of Motohashi's method to modal logics.Hirohiko Kushida - 2005 - Bulletin of the Section of Logic 34 (3):121-134.
Sequent calculi for monotonic modal logics.Andrzej Indrzejczak - 2005 - Bulletin of the Section of Logic 34 (3):151-164.
Modal logics between S4.2 and S4.3.G. Hughes - 1980 - Bulletin of the Section of Logic 9 (2):73-77.
QL-regular quantified modal logics.Maciej Nowicki - 2008 - Bulletin of the Section of Logic 37 (3/4):4.

Analytics

Added to PP
2013-12-31

Downloads
21 (#853,170)

6 months
4 (#1,474,081)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.
Deciding active structural completeness.Michał M. Stronkowski - 2020 - Archive for Mathematical Logic 59 (1-2):149-165.

Add more citations

References found in this work

An alternative rule of disjunction in modal logic.Timothy Williamson - 1991 - Notre Dame Journal of Formal Logic 33 (1):89-100.
Normal Modal Logics Contianing KTB with some Finiteness Conditions.Yutaka Miyazaki - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 171-190.
Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic.David Makinson - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):111-112.

Add more references