Logic Colloquium '01

- Print publication year: 2005
- Online publication date: March 2017

from
ARTICLES

- Publisher: Cambridge University Press
- DOI: https://doi.org/10.1017/9781316755860.008
- pp 170-216

[1] Repairing the interpolation theorem in quantified modal logic, 2003, pp. 287–299. , , and ,

[2] Interpolation in practical formal development, Logic Journal of the IGPL, vol. 9 (2001), pp. 231–244. , , , and ,

[3] Linear reasoning. A new form of the Herbrand–Gentzen theorem and three uses of the Herbrand–Gentzen theorem, The Journal of Symbolic Logic, vol. 22 (1957), pp. 250–268 and 269–285. ,

[4] Failure of the interpolation lemma in quantifiedmodal logic, The Journal of Symbolic Logic, vol. 44 (1979), pp. 201–206. ,

[5] 1983. , Proof methods for modal and intuitionistic logic, ,

[6] Interpolation theorem for first order S5, The Journal of Symbolic Logic, vol. 67 (2002), pp. 621–634. ,

[7] Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions, part I, Proceedings of the 1969 Logic Colloquium inManchester, North-Holland, 1969, pp. 391–401. ,

[8] Proceedings of the 1969 Logic Colloquium in Manchester, North-Holland, 1969, pp. 403–410. , Semantic proof of the Craig interpolation theorem for intuitionistic logic and extensions, part II,

[9] Proceedings of Logic Conference ( , editor), Springer, 1970, pp. 111–128. , Craig's interpolation theorem for modal logics,

[10] 1976. , Investigations in modal and tense logics with applications, ,

[11] Craig's theorem for intuitionistic logic, III, The Journal of Symbolic Logic, vol. 42 (1977), pp. 269–271. ,

[12] Labelled deductive systems, Oxford University Press, 1996. ,

[13] Fibring logics, Oxford University Press, 1998. ,

[14] Treatise on interpolation and definability, Oxford University Press, Forthcoming. and ,

[15] Quantifier elimination in second order predicate logic, Proceedings of KR –92 ( , , and , editors), 1992, pp. 425–435. and ,

[16] Goal directed algorithmic proof, Kluwer, 2000. and ,

[17] , , and , A note on interpolation by translation, In preparation.

[18] On the interpolation theorem for the logic of constant domains, The Journal of Symbolic Logic, vol. 46 (1981), pp. 87–88. ,

[19] An interpolation theorem in the predicate calculus, Pacific Journal of Mathematics, vol. 9 (1959), pp. 155–164. ,

[20] Craig's theorem in superintuitionistic logic and amalgamable varieties of pseudo Boolean algebras, Algebra i Logika, vol. 16 (1977), pp. 643–681. ,

[21] Interpolation properties of superintuitionistic logic, Studia Logica, vol. 38 (1979), pp. 419–428. ,

[22] Interpolation theorem in modal logic and amalgamated varieties of topoBoolean algebras, Algebra i Logika, vol. 18 (1979), pp. 556–586. ,

[23] Failure of interpolation property in modal companions of Dummett's logic, Algebra i Logika, vol. 21 (1982), pp. 690–694. ,

[24] Failure of interpolation in combined modal logics, Notre Dame Journal of Formal Logic, vol. 39 (1998), pp. 253–273. and ,

[25] Logic, language and reasoning, Essays in honour of ( and , editors), Kluwer, 1999, pp. 149–172. , , and , Elimination of predicate quantifiers,

[26] The logic of bunched implications, The Bulletin of Symbolic Logic, vol. 5 (1999), pp. 215–244. and ,

[27] An interpolation theorem, The Bulletin of Symbolic Logic, vol. 6 (2000), pp. 447– 462. ,

[28] Lambek calculus and formal grammars, Provability, complexity, grammar, American Mathematical Society Translations–Series 2, 1999, pp. 57–86. ,

[29] Interpolation in fragments of classical linear logic, The Journal of Symbolic Logic, vol. 59 (1994), pp. 419–444. ,