Constructive interpolation in hybrid logic
暂无分享,去创建一个
[1] Maarten Marx,et al. Hybrid logics: characterization, interpolation and complexity , 2001, Journal of Symbolic Logic.
[2] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[3] Larisa Maksimova,et al. Amalgamation and interpolation in normal modal logics , 1991, Stud Logica.
[4] Maarten Marx,et al. Repairing the interpolation theorem in quantified modal logic , 2003, Ann. Pure Appl. Log..
[5] Melvin Fitting,et al. First-Order Logic and Automated Theorem Proving , 1990, Graduate Texts in Computer Science.
[6] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[7] Melvin Fitting,et al. Interpolation for first order S5 , 2002, Journal of Symbolic Logic.
[8] M. de Rijke,et al. The Modal Logic of Inequality , 1992, J. Symb. Log..
[9] R. Goodstein. FIRST-ORDER LOGIC , 1969 .
[10] Maarten Marx,et al. Tableaux for Quantified Hybrid Logic , 2002, TABLEAUX.
[11] Maarten Marx,et al. Multi-dimensional modal logic , 1997, Applied logic series.
[12] Kit Fine,et al. Failures of the interpolation lemma in quantified modal logic , 1979, Journal of Symbolic Logic.
[13] Wolfgang Rautenberg,et al. Modal tableau calculi and interpolation , 1983, J. Philos. Log..