Journal of Logic and Computation, Volume 16
Volume 16, Number 1, February 2006
Semantics Corner and Selected Papers of the joint LICS-ICALP '04 Workshop "Logics for Resources, Processes, and Programs" Editorial
, John Power
: A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics.
: Linearity Constraints as Bounded Intervals in Linear Logic Programming.
Volume 16, Number 2, April 2006
: An Independence Result for Intuitionistic Bounded Arithmetic.
: Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity.
Volume 16, Number 3, June 2006
Volume 16, Number 4, August 2006
: On Representing Sentential Connectives of Lesniewski's Elementary Protothetic.
: Introduction to Cirquent Calculus and Abstract Resource Semantics.
Volume 16, Number 5, October 2006
Computer Science Applications of Modal Logic
: Reference Constructions in the Single-conclusion Proof Logic.
Dmitrij P. Skvortsov
: On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames.
Volume 16, Number 6, December 2006
: The Expressivity of Quantifying over Regions.