453 | -- | 480 | Claudio E. A. Pizzi. Two Kinds of Consequential Implication |
481 | -- | 513 | Hans van Ditmarsch, Sophia Knight, Aybüke Özgün. Private Announcements on Topological Spaces |
515 | -- | 540 | Martin Fischer, Norbert Gratzl. Truth, Partial Logic and Infinitary Proof Systems |
541 | -- | 563 | Szymon Chlebowski. Sequent Calculi for SCI |
565 | -- | 593 | Minghui Ma, Fei Liang. Sequent Calculi for Semi-De Morgan and De Morgan Algebras |
595 | -- | 613 | Christian Pech, Maja Pech. Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures |
615 | -- | 636 | Timothy Childers, Ondrej Majer. Eliciting Uncertainties: A Two Structure Approach |
637 | -- | 670 | Sergei P. Odintsov, Stanislav O. Speranski, Igor Shevchenko. Hintikka's Independence-Friendly Logic Meets Nelson's Realizability |
671 | -- | 673 | Torben Braüner. Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015, pp. 450. ISBN-13: 978-1-118-75127-5 (paperback) $42, ISBN-10: 978-1-118-75127-2 (eBook) $37.99 |