Constructive Interpolation in Hybrid Logic

Journal of Symbolic Logic 2003 / 06 Vol. 68; Iss. 2

Constructive Interpolation in Hybrid Logic

Patrick Blackburn and Maarten Marx
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
68
Langue:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/4147692
Date:
June, 2003
Fichier:
PDF, 374 KB
english, 2003
La conversion en est effectuée
La conversion en a échoué