External Links

    Journal: Journal of Logic and Computation

    Volume 11, Issue 1

    1 -- 0Dov M. Gabbay. Editorial
    3 -- 4Heinrich Wansing. Editorial and Call for Papers
    5 -- 23Klaus Robering. Ackermann s Implication for Typefree Logic
    25 -- 40Benedikt Löwe. Revision Sequences and Computers with an Infinite Amount of Time
    41 -- 70Joseph Y. Halpern, Gerhard Lakemeyer. Multi-agent Only Knowing
    71 -- 83Lionel Forget, Vincent Risch, Pierre Siegel. Preferential Logics are X-logics
    107 -- 155Thomas M. Rudlof. SHR Tableaux - A Framework for Automated Model Generation
    157 -- 192Enrico Giunchiglia, Fausto Giunchiglia. Ideal and Real Belief about Belief
    193 -- 194Luís C. Lamb. Book Review: Elementary Logics: a Procedural Perspective by Dov M. Gabbay
    runs on