Journal: Journal of Logic and Computation

Volume 25, Issue 1

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