BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    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.

    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 Mon Jul 22 05:23:30 2024 BST.