Journal: Journal of Logic and Computation

Volume 35, Issue 1

1 -- 35Carlos Areces, Raul Fervari, Andrés R. Saravia, Fernando R. Velázquez-Quesada. Uncertainty-based knowing how logic
36 -- 56Shay Allen Logan. Nondeterministic and nonconcurrent computational semantics for BB+ and related logics
57 -- 80Philippe Balbiani, Quentin Gougeon. Projective relative unification through duality
81 -- 94Irakli O. Chitaia, Roland Sh. Omanadze, Andrea Sorbi. Conjunctive degrees and cylinders
95 -- 146Alexander V. Gheorghiu, David J. Pym. Defining logical systems via algebraic constraints on proofs
147 -- 171Jiachao Wu, Hengfei Li. Renovation sets and their applications in higher-order argumentation frameworks
172 -- 193Reinhard Kahle, Isabel Oitavem, Paulo Guilherme Santos. Numeral completeness of weak theories of arithmetic
194 -- 0. Correction to: Conjunctive degrees and cylinders