External Links

    Journal: Journal of Logic and Computation

    Volume 17, Issue 1

    5 -- 0Heinrich Wansing. Introduction and Call for Papers
    7 -- 30Sebastian Bauer. Axiomatizing the Monodic Fragment of QCTL
    31 -- 51Víctor Dalmau, Andrei A. Krokhin, Benoit Larose. First-order Definable Retraction Problems for Posets and Reflexive Graphs
    53 -- 82Marcelo Finger, Renata Wassermann. Anytime Approximations of Classical Logic from Above
    83 -- 116Thomas Ågotnes, Natasha Alechina. The Dynamics of Syntactic Knowledge
    117 -- 132Mark Reynolds. A Tableau for Bundled CTL
    133 -- 155Ian Pratt-Hartmann. Complexity of the Guarded Two-variable Fragment with Counting Quantifiers
    157 -- 197Francesco Ranzato, Francesco Tapparo. Generalized Strong Preservation by Abstract Interpretation
    199 -- 217Wojciech Buszkowski. On Action Logic: Equational Theories of Action Algebras
    runs on