TY - JOUR
AB - Issue No. 1 Editorial 1 David Pym A Unified Category-theoretic Semantics for Binding Signatures in Substructural Logics 5 M. Tanaka and J. Power A Hybrid Intuitionistic Logic: Semantics and Decidability 27 R. Chadha, D. Macedonio and V. Sassone Detecting Loops During Proof Search in Propositional Affine Logic 61 T. Lutovac and J. Harland Linearity Constraints as Bounded Intervals in Linear Logic Programming 135 J. Polakow Forthcoming Papers 157 Issue No. 2 Hybrid Logics with Infinitary Proof Systems 161 B. Kooi, G. Renardel de Lavalette and R. Verbrugge Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators 177 N. Bezhanishvili and B. ten Cate An Independence Result for Intuitionistic Bounded Arithmetic 199 M. Moniri On Product Logic with Truth-constants 205 P. Savicky´ , R. Cignoli, F. Esteva, L. Godo and C. Noguera A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications 227 ´ ´ J. Garcıa-Duque, M. Lopez-Nores, J. J. Pazos-Arias, A. Ferna´ ndez-Vilas, R. P. Dı´-Redondo, A. Gil-Solla, Y. Blanco-Ferna´ ndez and M. Ramos-Cabrer Discrete Linear-Time Probabilistic Logics: Completeness, Decidability and Complexity 257 Z. Ognjanovic´ Deductive Algorithmic Knowledge 287 R. Pucella Forthcoming Papers 311 Books Received 313 929 930 Contents for Volume 16 
TI - Contents for Volume 16
JF - Journal of Logic and Computation
DO - 10.1093/logcom/exl047
DA - 2006-12-01
UR - https://www.deepdyve.com/lp/oxford-university-press/contents-for-volume-16-Z4xCxR00SS
SP - 929
EP - 932
VL - 16
IS - 6
DP - DeepDyve
ER -