219 | -- | 235 | Taishi Kurahashi. Arithmetical Completeness Theorem for Modal Logic K |
237 | -- | 279 | Antonis C. Kakas, Paolo Mancarella, Francesca Toni. On Argumentation Logic and Propositional Logic |
281 | -- | 293 | Juan Manuel Cornejo, Ignacio Darío Viglizzo. Semi-intuitionistic Logic with Strong Negation |
295 | -- | 309 | Andrzej Wisniewski. Deduction and Reduction Theorems for Inferential Erotetic Logic |
311 | -- | 344 | Gennady Shtakser. Propositional Epistemic Logics with Quantification Over Agents of Knowledge |
345 | -- | 370 | Reinhard Muskens, Stefan Wintein. Interpolation in 16-Valued Trilattice Logics |
371 | -- | 395 | José de Jesús Lavalle-Martínez, Manuel Montes-y-Gómez, Luis Villaseñor Pineda, Héctor Jiménez-Salazar, Ismael Everardo Bárcenas Patiño. Equivalences Among Polarity Algorithms |
397 | -- | 415 | Kosta Dosen, Milos Adzic. Gödel's Natural Deduction |
417 | -- | 448 | Antonio Ledda. Stone-Type Representations and Dualities for Varieties of Bisemilattices |
449 | -- | 452 | Vincenzo Dimonte. Ralf Schindler, Set Theory: Exploring Independence and Truth. Springer International Publishing, 2014, pp. 332+X. ISBN: 978-3-319-06724-7 (softcover) $79.99, ISBN: 978-3-319-06725-4 (eBook) $59.99 |