Browse by Person
Up a level |
Jump to: Logic Journal of the IGPL
Number of items: 1.
Logic Journal of the IGPL
Marx, M. and Mikulas, Szabolcs and Schlobach, S. (1999) Tableau calculus for local cubic modal logic and it's implementation. Logic Journal of the IGPL 7 (6), pp. 755-778. ISSN 1367-0751.