Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic Renate A. SchmidtDmitry TishkovskyUllrich Hustadt OriginalPaper Pages: 381 - 415
Negative Equivalence of Extensions of Minimal Logic Sergei P. Odintsov OriginalPaper Pages: 417 - 442
All Normal Extensions of S5-squared Are Finitely Axiomatizable Nick BezhanishviliIan Hodkinson OriginalPaper Pages: 443 - 457
On Ultrafilter Logic and Special Functions Paulo A. S. VelosoSheila R. M. Veloso OriginalPaper Pages: 459 - 477
Book Review: Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover. Dimensions (in inches): 1.00 × 9.96 × 7.36 Walter A. Carnielli BookReview Pages: 479 - 481