Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
type: Item
instance of: scholarly article
title: Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
zbMATH Open document ID: 1498.03052
author: Junhua Yu
published in: Annals of Pure and Applied Logic
publication date: 2019-11-06T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03C40
zbMATH DE Number: 7127338
zbMATH Keywords: Lyndon interpolation
zbMATH Keywords: neighborhood logic
zbMATH Keywords: sequent calculus
describes a project that uses: Pesca
MaRDI profile type: Publication
full work available at URL: j.apal.2019.102721
OpenAlex ID: W2967336528
cites work: A propositional dynamic logic for instantial neighborhood semantics
cites work: A new game equivalence, its logic and algebra
cites work: INSTANTIAL NEIGHBOURHOOD LOGIC
cites work: Q3086937
cites work: Proof systems for Moss' coalgebraic logic
cites work: Modal languages for topology: expressivity and definability
cites work: Q3128959
cites work: Q3867808
cites work: Linear reasoning. A new form of the Herbrand-Gentzen theorem
cites work: The elimination theorem when modality is present
cites work: Interpolation in non-classical logics
cites work: Tableau methods of proof for modal logics
cites work: Untersuchungen über das logische Schliessen. I
cites work: Modular sequent calculi for classical modal logics
cites work: Neighbourhood Structures: Bisimilarity and Basic Model Theory
cites work: An extension of the Craig-Lyndon interpolation theorem
cites work: Q3435245
cites work: Q3105688
cites work: Sequent calculi and decision procedures for weak modal systems
cites work: An interpolation theorem in the predicate calculus
cites work: Q5736158
cites work: Universal grammar
cites work: Structural proof theory. With an appendix by Aarne Ranta
cites work: Q3247119
cites work: Q4699355
cites work: Neighborhood semantics for modal logic
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Gentzen calculi for modal propositional logic
cites work: Uniform interpolation for monotone modal logic
cites work: Q4047529
cites work: Q4499084
cites work: Handbook of philosophical logic. Vol. 8
cites work: A tableau system for instantial neighborhood logic
Wikidata QID: Q127367597
DOI: 10.1016/J.APAL.2019.102721
description: scientific article