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)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

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

Unifiers in transitive modal logics for formulas with coefficients.V. Rybakov - 2013 - Logic Journal of the IGPL 21 (2):205-215.
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.
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.
The lattice of modal logics (preliminary report).W. J. Blok - 1977 - Bulletin of the Section of Logic 6 (3):112-114.
Modal Boolean Connexive Logics: Semantics and Tableau Approach.Tomasz Jarmużek & Jacek Malinowski - 2019 - Bulletin of the Section of Logic 48 (3):213-243.
Remarks on projective unifiers.Wojciech Dzik - 2011 - Bulletin of the Section of Logic 40 (1/2):37-45.
On Halldén-completness of intermediate and modal logics.A. V. Chagrov & M. V. Zakharyashchev - 1990 - Bulletin of the Section of Logic 19 (1):21-23.
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
19 (#190,912)

6 months
3 (#1,723,834)

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