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