Constructive interpolation in hybrid logic

Journal of Symbolic Logic

Volumn 68, Issue 2, 2003, Pages 463-480

  Blackburn, Patrick ^a   Marx, Maarten ^b  

^a INRIA   (France)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0037833500     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2178/jsl/1052669059     Document Type: Article

References (13)

1. C. Areces, P. Blackburn, and M. Marx, Hybrid logics: Characterization, interpolation and complexity, this Journal, vol. 66 (2001), no. 3, pp. 977-1010.
2. C. Areces, P Blackburn, and M. Marx, Repairing the interpolation lemma in quantified modal logic, Technical Report PP-2001-19, Institute for Language, Logic and Computation, 2001, To appear in Annals of Pure and Applied Logic.
3. P. Blackburn, M. de Rijke, and Y. Venema, Modal logic, Cambridge University Press, 2001.
4. P. Blackburn and M. Marx, Tableaux for quantified hybrid logic, Automated reasoning with analytic tableaux and related methods, TABLEAUX 2002 (U. Egly and C. Fermuller, editors), LNAI, vol. 2381, Springer Verlag, 2002, pp. 38-52.
5. M. de Rijke, The modal logic of inequality, this Journal, vol. 57 (1992), pp. 566-584.
6. K. Fine, Failures of the interpolation lemma in quantified modal logic, this Journal, vol. 44 (1979), no. 2, pp. 201-206.
7. M. Fitting, Proof methods for modal and intuitionistic logics, Synthese Library, vol. 169, Reidel, Dordrecht, 1983.
8. M. Fitting, First order logic and automated theorem proving, second ed., Springer Verlag, 1996.
9. M. Fitting, Interpolation for first order S5, this Journal, vol. 67 (2002), pp. 621-634.
10. L. Maksimova, Amalgamation and interpolation in normal modal logics, Studia Logica, vol. L (1991), no. 3/4, pp. 457-471.
11. M. Marx and Y Venema, Multi-dimensional modal logic, Applied Logic Series, Kluwer Academic Publishers, 1997.
12. W. Rautenberg, Modal tableau calculi and interpolation, Journal of Philosophical Logic, vol. 12 (1983), pp. 403-423.
13. R. Smullyan, First order logic, Springer-Verlag, 1968.