Interpolation in non-classical logics-Reference-Cited by-同舟云学术

Interpolation in non-classical logics

Published:2008-07-05 Issue:3 Volume:164 Page:421-435
ISSN:0039-7857
Container-title:Synthese
language:en
Short-container-title:Synthese

Author:

D’Agostino Giovanna

Publisher

Springer Science and Business Media LLC

Subject

General Social Sciences,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s11229-008-9359-x.pdf

Reference27 articles.

1. Areces C., Blackburn P., Marx M. (2003) Repairing the interpolation theorem in quantified modal logic. Annals of Pure and Applied Logics 123: 287–299

2. Areces, C., & de Rijke, M. (1998). Interpolation and bisimulation in temporal logic. In Proceedings of WoLLIC’98. Workshop of Logic, Language, Information and Computation (pp. 15–21). Sao Paulo, Brazil, July 1998, IME/USP.

3. Baaz M., Veith H. (1999) Intrepolation in fuzzy logic. Archive for Mathematical Logic 38: 461–489

4. Bilkova, M. (2006). Intrepolation in modal logic. PhD thesis, Charles University in Prague.

5. D’Agostino G., Hollenberg M. (2000) Logical questions concerning the μ-calculus: Interpolation, Lyndon, and Łoś-Tarski. Journal of Symbolic Logic 65: 310–332

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Lyndon Interpolation for Modal $$\mu $$-Calculus;Lecture Notes in Computer Science;2022

2. Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus;Lecture Notes in Computer Science;2021

3. A Note on Constructive Interpolation for the Multi-Modal Logic K;Electronic Notes in Theoretical Computer Science;2020-12

4. Lyndon interpolation theorem of instantial neighborhood logic – constructively via a sequent calculus;Annals of Pure and Applied Logic;2020-01

5. Interpolation in propositional Horn logic;Journal of Logic and Computation;2018-01-09