External Links

    Journal: Journal of Logic and Computation

    Volume 11, Issue 5

    657 -- 669Carlos Areces, Patrick Blackburn. Bringing them all Together
    671 -- 689Jerry Seligman. Internalization: The Case of Hybrid Logics
    691 -- 700Maarten Marx. Relation Algebra with Binders
    701 -- 715Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer. Modal Logic with Bounded Quantification over Worlds
    717 -- 736Carlos Areces, Maarten de Rijke, Hans de Nivelle. Resolution in Modal, Description and Hybrid Logic
    737 -- 754Valentin Goranko, Dimiter Vakarelov. Sahlqvist Formulas in Hybrid Polyadic Modal Logics
    runs on