External Links

    Journal: Journal of Logic, Language and Information

    Volume 1, Issue 4

    253 -- 340Nicola Olivetti, Lea Terracini. N-Prolog and equivalence of logic programs

    Volume 1, Issue 3

    173 -- 201Kosta Dosen. Modal logic as metalogic
    203 -- 233Marcelo Finger, Dov M. Gabbay. Adding a temporal dimension to a logic system
    235 -- 252Marcello D'Agostino. Are tableaux an improvement on truth-tables?

    Volume 1, Issue 2

    111 -- 130Brian Skyrms. Chaos in game dynamics
    131 -- 140Jürgen Dix, David Makinson. The Relationship between KLM and MAK models for Nonmonotonic Inference Operations
    141 -- 171Makoto Kanazawa. The Lambek calculus enriched with additional connectives

    Volume 1, Issue 1

    1 -- 44Jan van Eijck, Fer-Jan de Vries. Dynamic Interpretation and Hoare Deduction
    45 -- 78Hans Rott. Preferential Belief Change Using Generalized Epistemic Entrenchment
    79 -- 104Fairouz Kamareddine. Lambda-Terms, Logic, Determiners and Quantifiers
    runs on