External Links

    Journal: Journal of Logic and Computation

    Volume 5, Issue 3

    265 -- 285Chiaki Sakama, Katsumi Inoue. Paraconsistent Stable Semantics for Extended Disjunctive Programs
    287 -- 302Alexander V. Chagrov, Michael Zakharyaschev. On the Independent Axiomatizability of Modal and Intermediate Logics
    303 -- 324Anastasia Analyti, Sakti Pramanik. Reliable Semantics for Extended Logic Programs with Rule Prioritization
    325 -- 345Wiebe van der Hoek, Maarten de Rijke. Counting Objects
    347 -- 366John Pais. Exterior Topology and Revision Spaces
    367 -- 381Ines Margaria, Maddalena Zacchi. Principal Typing in a forall-and-Discipline
    runs on