Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

Original language	English
Title of host publication	LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY
Editors	S Odintsov
Publisher	Springer Open
Pages	171-183
Number of pages	13
ISBN (Print)	978-3-319-69916-5
DOIs	https://doi.org/10.1007/978-3-319-69917-2_9
Publication status	Published - 1 Jan 2018

Name	Outstanding Contributions to Logic
Volume	15
ISSN (Print)	2211-2758
ISSN (Electronic)	2211-2766

deductive interpolation property, difference logic, weak interpolation property, weakly transitive modal logic, EXTENSIONS

ID: 20778588