External Links

    Journal: Journal of Logic, Language and Information

    Volume 11, Issue 4

    389 -- 425Joeri Engelfriet, Jan Treur. Linear, Branching Time and Joint Closure Semantics for Temporal Logic
    427 -- 451Gerhard Jäger. Some Notes on the Formal Properties of Bidirectional Optimality Theory
    453 -- 470Norihiro Kamide. Kripke Semantics for Modal Substructural Logics
    471 -- 518Luciano Serafini, Fausto Giunchiglia. ML Systems: A Proof Theory for Contexts
    runs on