Department of Computer Science

Publisher

Related Publications
  1. Reduction Axioms for Epistemic Actions

    Kooi, B. & van Benthem, J. F. A. K., 2004, AiML-2004: Advances in Modal Logic. Schmidt, R., Pratt-Hartmann, I., Reynolds, M. & Wansing, H. (eds.). University of Manchester: Department of Computer Science, p. 197-211 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  2. Strong Completeness for Non-compact Hybrid Logics

    Kooi, B., Renardel de Lavalette, G. & Verbrugge, L. C., 2004, AiML-2004: Advances in Modal Logic. Schmidt, R., Pratt-Hartmann, I., Reynolds, M. & Wansing, H. (eds.). University of Manchester: Department of Computer Science, p. 212-223 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  3. AiML-2004: Advances in Modal Logic

    Schmidt, R., Pratt-Hartmann, ., Reynolds, . & Wansing, H., 2004, University of Manchester: Department of Computer Science.

    Research output: Book/ReportBookAcademic

View all (3) »

ID: 1132111