External Links

    Journal: Journal of Logic and Computation

    Volume 30, Issue 2

    525 -- 548Murdoch Gabbay. Equivariant ZFA and the foundations of nominal techniques
    549 -- 560Mikhail N. Rybakov, Dmitry Shkatov. Recursive enumerability and elementary frame definability in predicate modal logic
    561 -- 633Juan Climent Vidal, Enric Cosme-Llópez. Congruence-based proofs of the recognizability theorems for free many-sorted algebras
    635 -- 661Edilson Rodrigues, Paulo E. Santos, Marcos Lopes, Brandon Bennett, Paul E. Oppenheimer. Standpoint semantics for polysemy in spatial prepositions
    663 -- 696Ian Shillito. A multi-labelled sequent calculus for Topo-Logic
    runs on