Browse by Person
 | Up a level |
Journal of Applied Logic
ten Cate, B. and Litak, T. and Marx, M. (2010) Complete axiomatizations for XPath fragments. Journal of Applied Logic 8 (2), pp. 153-172. ISSN 1570-8683.
Journal of Logic, Language and Information
Marx, M. and Mikulas, Szabolcs and Nemeti, I. (1995) Taming logic. Journal of Logic, Language and Information 4 (3), pp. 207-226. ISSN 0925-8531.
Journal of Symbolic Logic
Mikulas, Szabolcs and Marx, M. (1999) Undecidable relativizations of algebras of relations. Journal of Symbolic Logic 64 (2), pp. 747-760. ISSN 0022-4812.
Logic Journal of the IGPL
Marx, M. and Mikulas, Szabolcs (2001) Products, or how to create modal logics of high complexity. Logic Journal of the IGPL 9 (1), pp. 71-82. ISSN 1367-0751.
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.
Studia Logica
Marx, M. and Mikulás, Szabolcs (2002) An elementary construction for a non-elementary procedure. Studia Logica 72 (2), pp. 253-263. ISSN 0039-3215.
The journal of Symbolic Logic
Marx, M. and Mikulas, Szabolcs (1999) Decidability of cylindric set algebras of dimension two and first-order logic with two variables. The journal of Symbolic Logic 64 (4), pp. 1563-1572. ISSN 0022-4812.