External Links

    Journal: Journal of Logic and Computation

    Volume 16, Issue 3

    315 -- 338Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo. A Syntax-based Approach to Reasoning about Action and Belief Update
    339 -- 357Razvan Diaconescu. Proof Systems for Institutional Logic
    359 -- 373Manuel Bodirsky, Jaroslav Nesetril. Constraint Satisfaction with Countable Homogeneous Templates
    375 -- 402M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer. Dynamic Logic for Plan Revision in Agent Programming
    runs on