King's College London

Research portal

College Publications

Publisher

  1. On strictly positive modal logics with S4.3 frames

    Kikot, S., Kurucz, A., Wolter, F. & Zakharyaschev, M., 2018, Advances in Modal Logic. Bezhanishvili, G., D'Agostino, G., Metcalfe, G. & Studer, T. (eds.). College Publications, Vol. 12. p. 427-446

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories

    Rodrigues, O. T. & Gabbay, D. M., Jan 2016, Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. Brewka, G., Thimm, M. & Beierle, C. (eds.). College Publications, p. 392 408 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Finite frames for K4.3 × S5 are decidable

    Kurucz, A. & Marcelino, S., 1 Jan 2014, Advances in Modal Logic. Brauner, T., Moss, L., Bolander, T. & Ghilardi, S. (eds.). College Publications, p. 411-436 26 p. (Advances in Modal Logic; vol. 9).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  4. Islands of tractability for relational constraints: towards dichotomy results for the description logic EL

    Kurucz, A., Wolter, F. & Zakharyaschev, M., 2010, Advances in Modal Logic, Volume 8. Beklemishev, L., Goranko, V. & Shehtman, V. (eds.). College Publications, p. 255 - 274

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. On the complexity of modal axiomatisations over many-dimensional structures

    Kurucz, A., 2010, Advances in Modal Logic, Volume 8. Beklemishev, L., Goranko, V. & Shehtman, V. (eds.). College Publications, p. 256-270 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Towards Rendering Optical Phenomena

    Rady, M. A. & Overill, R. E., 2010, Proc. URC*2010. College Publications, p. 55 - 71 17 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  7. A New Approach to Quantum Logic

    Gabbay, D., Engesser, K. & Lehmann, D., 2008, College Publications.

    Research output: Book/ReportBook

  8. On Axiomatising Products of Kripke Frames, part II

    Kurucz, A., 2008, Advances in Modal Logic, Volume 7. Areces, C. & Goldblatt, R. (eds.). College Publications, p. 219 - 230 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Second-Order Quantifier Elimination

    Gabbay, D., Schmidt, R. & Szalas, A., 2008, College Publications.

    Research output: Book/ReportBook

  10. A Priori Estimation of Classsication Circuit Complexity.

    Albrecht, A. A., Chashkin, A. V., Iliopoulos, C. S., Kasim-Zade, O. M., Lappas, G. & Steinhofel, K., 2007, London Algorithmics and Stringology 2006 . Daykin, J., Mohamed, M. & Steinhofel, K. (eds.). College Publications, p. 97 - 114 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Architectural Algorithmetrics: Some Recent Results

    Overill, R. E., 2007, London Algorithmics and Stringology 2006, J Daykin, M Mohamed & K Steinhoefel (eds.) Series: Texts in Algorithmics, vol.8. College Publications, p. 43 - 63 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  12. Handbook of Paraconsistency

    Gabbay, D. M. (ed.), Beziau, J-Y. (ed.) & Carnielli, W. (ed.), 2007, College Publications.

    Research output: Book/ReportBook

  13. Landscape Analysis for Protein Folding Simulation in the H-P Model.

    Steinhofel, K., Albrecht, A. A. & Skaliotis, A., 2007, London Algorithmics and Stringology 2006 . Daykin, J., Mohamed, M. & Steinhofel, K. (eds.). College Publications, p. 29 - 42 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. London Algorithmics and Stringology

    Daykin, M. M. J. W. (ed.) & Steinhofel, K. (ed.), 2007, College Publications. (Texts in Algorithmics)

    Research output: Book/ReportBook

  15. London Algorithmics and Stringology 2006

    Daykin, J. (ed.), Mohamed, M. (ed.) & Steinhofel, K. (ed.), 2007, College Publications.

    Research output: Book/ReportBook

  16. Algorithms in Bioinformatics

    Steinhoefel, K. K. (ed.), Iliopoulos, C. (ed.) & Park, K. (ed.), 2006, Texts in Algorithms, volume 6 ed. College Publications.

    Research output: Book/ReportBook

  17. /a/-Logic

    Gabbay, M. & Gabbay, M., 2005, We Will Show Them: Essays in Honour of Dov Gabbay, Vol. 1. Artemov, S., Barringer, H., d'Avila Garcez, A., Lamb, L. & Woods, J. (eds.). London: College Publications, p. 731 - 764 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Iterated Revision and Automatic Similarity Generation

    Rodrigues, O., 2005, We Will Show Them: Essays in Honour of Dov Gabbay, vol. 2. Artemov, S., Barringer, H., Garcez, A. S. DA., Lamb, L. C. & Woods, J. (eds.). London: College Publications, p. 591 - 614 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Modal logics for metric spaces: open problems

    Kurucz, A., Wolter, F. & Zakharyaschev, M., 2005, We Will Show Them: Essays in Honour of Dov Gabbay, Volume 2 . Artemov, S., Barringer, S., d'Avila Garcez, A. S., Lamb, L. C. & Woods, J. (eds.). College Publications, p. 193 - 208

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Sequence and Dominance

    Meyer Viol, W. & Kempson, R., 2005, We Will Show Them: Essays in Honour of Dov Gabbay, vol. 2. Artemov, S., Barringer, H., Garcez, A. S. DA., Lamb, L. C. & Woods, J. (eds.). London: College Publications, p. 341 - 370 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Some Formal Considerations on Gabbay's Restart Rule in Natural Deduction and Goal-directed Reasoning

    Gabbay, M. & Gabbay, M., 2005, We Will Show Them: Essays in Honour of Dov Gabbay, Vol. 1. Artemov, S., Barringer, H., d'Avila Garcez, A., Lamb, L. & Woods, J. (eds.). London: College Publications, p. 701 - 730 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454