Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • Montanari, A., & de Rijke, M. (1995). Completeness results for two-sorted metric temporal logics. In V. S. Alagar, & M. Nivat (Eds.), Algebraic methodology and software technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995: proceedings (pp. 385-399). (Lecture notes in computer science; No. 936). Springer.
  • Csirmaz, L., Gabbay, D. M., & de Rijke, M. (1995). Preface. In L. Csirmaz, D. M. Gabbay, & M. de Rijke (Eds.), Logic Colloquium '92 (pp. vii). (CSLI publications). CSLI.
  • Blackburn, P., de Rijke, M., & Venema, Y. (1995). Relational methods in logic, language and information. (Report; No. CS-R9561). CWI.
  • de Rijke, M. (1995). A Lindström theorem for modal logic. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal logic and process algebra: a bisimulation perspective (pp. 217-230). (CSLI lecture notes; No. 53). CSLI.
  • de Rijke, M. (1995). Modal model theory. (Report; No. CS-R9517). CWI.
  • Blackburn, P., & de Rijke, M. (1995). Why combine logics? (Report; No. CS-R9533). CWI.
  • Ponse, A., de Rijke, M., & Venema, Y. (1995). Preface. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal logic and process algebra: a bisimulation perspective (pp. vii-xi). (CSLI lecture notes; No. 53). CSLI Publications.
  • Ponse, A., de Rijke, M., & Venema, Y. (1995). Modal Logic and Process Algebra. (CSLI Lecture Notes; No. 53). CSLI Publications.
  • Open Access
    de Rijke, M. (1995). The logic of Peirce algebras. Journal of Logic, Language and Information, 4, 227-250.
  • Open Access
    de Rijke, M., & Venema, Y. (1995). Sahlqvist's Theorem for Boolean algebras with operators with an application to cylindric algebras. Studia Logica, 54, 61-78.
Page 100 of 104