View Basket

AiML Academia Brasileira de Filosofia Algorithmics Arts Cadernos de Lógica e Computação Cadernos de Lógica e Filosofia Cahiers de Logique et d'Epistemologie Communication, Mind and Language Computing Comptes Rendus de l'Academie Internationale de Philosophie des Sciences Cuadernos de lógica, Epistemología y Lenguaje DEON Dialogues Economics Encyclopaedia of Logic Filosofia Handbooks Historia Logicae IfColog series in Computational Logic IfColog Lecture series IfColog Proceedings Journal of Applied Logics - IfCoLog Journal About Editorial Board Scope of the Journal Submissions Forthcoming papers Journals Landscapes Logics for New-Generation AI Logic and Law Logic and Semiotics Logic PhDs Logic, Methodology and Philosophy of Science The Logica Yearbook Marked States Neural Computing and Artificial Intelligence Philosophy Research The SILFS series Studies in Logic Studies in Talmudic Logic Student Publications Systems Texts in Logic and Reasoning Texts in Mathematics Tributes Other Digital Downloads Information for authors About us Search for Books   Journal of Applied Logics - IfCoLog Journal Back 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

© 2005–2025 College Publications / VFH webmaster