External Links

    Journal: Journal of Logic and Computation

    Volume 5, Issue 2

    133 -- 171Maurizio Gabbrielli, Giovanna M. Dore, Giorgio Levi. Observable Semantics for Constraint Logic Programs
    173 -- 201Piero A. Bonatti. A Three-Valued Formalization of Provability
    203 -- 212Michael L. Tiomkin, Michael Kaminski. Semantical Analysis of Logic of Actions
    213 -- 226Anuj Dawar. Generalized Quantifiers and Logical Reducibilities
    227 -- 249Dov Dori. Object-Process Analysis: Maintaining the Balance Between System Structure and Behaviour
    runs on