BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Number of items: 2.


    Reynolds, M. and Zakharyaschev, Michael (2001) On the products of linear modal logics. Journal of Logic and Computation 11 (6), pp. 909-931. ISSN 0955-792X.

    Book Section

    Marx, M. and Mikulas, Szabolcs and Reynolds, M. (2000) The mosaic method for temporal logics. In: Dyckhoff, R. (ed.) Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000. Lecture Notes in Computer Science 1874. Springer, pp. 324-340. ISBN 9783540676973.

    This list was generated on Tue Jun 18 05:42:09 2024 BST.