 | Volume 2, Number 2
Gödel's Master Argument: What is it, and what can it do? ... 1 David Makinson
Cut-Free Proof Systems for Geach Logics... 17 Melvin Fitting
Retalis Language for Information Engineering in Autonomous Robot Software ... 85 Pouyan Ziafatia, Mehdi Dastanib, John-Jules Meyer, Leendert van der Torre and Holger Voos
Going Forth and Drawing Back: An Intensional Approach in Nonmonotonic Inference ... 127 Yi Mao, Beihai Zhou and Beishui Liao
October 2015
978-1-84890-189-6
For Digital Download:Click here
|