External Links

    Journal: Journal of Logic and Computation

    Volume 7, Issue 5

    555 -- 579Domenico Saccà, Carlo Zaniolo. Deterministic and Non-Deterministic Stable Models
    581 -- 603Hans Jürgen Ohlbach, Renate A. Schmidt. Functional Translation and Second-Order Frame Properties of Modal Logics
    605 -- 631Hassan Bezzazi, David Makinson, Ramón Pino Pérez. Beyond Rational Monotony: Some Strong Non-Horn Rules for Nonmonotonic Inference Relations
    633 -- 648Ho Ngoc Duc. Reasoning About Rational, But Not Logically Omniscient, Agents
    649 -- 658Rajeev Goré, Wolfgang Heinle, Alain Heuerding. Relations Between Propositional Normal Modal Logics: An Overview
    659 -- 681Egon Börger, Peter H. Schmitt. A Description of the Tableau Method Using Abstract State Machines
    runs on