Restricted interpolation over modal logic S4 (Q2342101): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Larisa L. Maksimova / rank
Normal rank
 
Property / author
 
Property / author: Larisa L. Maksimova / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10469-013-9244-7 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2102427324 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3714044 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3022776 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Investigations in modal and tense logics with applications to problems in philosophy and linguistics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5824680 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4936636 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5465446 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3012532 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation in weakly transitive modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Undecidable properties of extensions of provability logic. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classification of extensions of the modal logic S4 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intuitionistic logic and implicit definability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Problem of restricted interpolation in superintuitionistic and some modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4430408 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A weak form of interpolation in equational logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weak interpolation in extensions of the logics S4 and K4 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projective Beth property in extensions of Grzegorczyk logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: An ascending chain of S4 logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5519127 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A lattice of normal modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5734410 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finite-level modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5582306 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4532125 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definability in Normal Extensions of S4 / rank
 
Normal rank

Latest revision as of 01:09, 10 July 2024

scientific article
Language Label Description Also known as
English
Restricted interpolation over modal logic S4
scientific article

    Statements

    Restricted interpolation over modal logic S4 (English)
    0 references
    8 May 2015
    0 references
    modal logic S4
    0 references
    restricted interpolation
    0 references
    projective Beth property
    0 references

    Identifiers