Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 1,033
Number of items: 1,033
  • van der Hoek, W., & de Rijke, M. (1992). Counting objects in generalized quantifier theory, modal logic and knowledge representation. (IR; No. 307). Free University of Amsterdam.
  • de Rijke, M. (1992). Meeting some neighbours. (Report; No. LP-92-10). Institute for Logic, Language and Computation, University of Amsterdam.
  • de Rijke, M. (1992). A system of dynamic modal logic. (Report; No. CSLI-92-170). Center for the Study of Language and Information, Stanford University.
  • de Rijke, M. (1992). A system of dynamic modal logic. (Report; No. LP-92-08). Institute for Logic, Language and Computation, University of Amsterdam.
  • Open Access
    de Rijke, M. (1992). The modal logic of inequality. Journal of Symbolic Logic, 57(2), 566-584. https://doi.org/10.2307/2275293
  • de Rijke, M. (1991). Colloquium on Modal Logic 1991. Dutch Network for Language, Logic and Information.
  • de Rijke, M., & Venema, Y. (1991). Sahlqvist's theorem for Boolean algebras with operators. (Report; No. ML-91-10). Institute for Language, Logic and Information, University of Amsterdam.
  • van der Hoek, W., & de Rijke, M. (1991). Generalized quantifiers and modal logic. (Report; No. LP-01-02). Institute for Language, Logic and Information, University of Amsterdam.
  • Open Access
    de Rijke, M. (1991). A note on the interpretability logic of finitely axiomatized theories. Studia Logica, 50(50), 241-250.
  • de Rijke, M. (1990). The modal logic of inequality. (Report; No. LP-90-15). Institute for Language, Logic and Information, University of Amsterdam.
Page 103 of 104