1 | -- | 35 | Guram Bezhanishvili, Nick Bezhanishvili, John Harding. Modal compact Hausdorff spaces |
37 | -- | 55 | Xavier Caicedo, Ricardo Oscar Rodríguez. Bi-modal Gödel logic over [0, 1]-valued Kripke frames |
57 | -- | 93 | Uwe Wolter, Alfio Martini, Edward Hermann Haeusler. Towards a uniform presentation of logical systems by indexed categories and adjoint situations |
95 | -- | 116 | Daniel Gâinâ, Kokichi Futatsugi. Initial semantics in logics with constructors |
117 | -- | 157 | Dov M. Gabbay, Christian Straßer. Reactive standard deontic logic |
159 | -- | 178 | Paolo Turrini, Davide Grossi, Jan Broersen, John-Jules Ch. Meyer. Forbidding undesirable agreements |
179 | -- | 205 | Camillo Fiorentini. Terminating sequent calculi for proving and refuting formulas in S4 |
207 | -- | 242 | Sunil Simon, Krzysztof R. Apt. Social network games |