Studia Logica, Volume 79

Volume 79, Number 1, February 2005

• Gerhard Brewka, Pavlos Peppas:
  Preface. 3-5
  
• José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite:
  The Refined Extension Principle for Semantics of Dynamic Logic Programming. 7-32
  
• Chitta Baral, Nam Tran:
  Representation and Reasoning about Evolutions of the World in the Context of Reasoning about Actions. 33-46
  
• Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
  Belief Liberation (and Retraction). 47-72
  
• Robert Craven, Marek J. Sergot:
  Distant Causation in C+. 73-96
  
• James P. Delgrande, Abhaya C. Nayak, Maurice Pagnucco:
  Gricean Belief Change. 97-113
  
• Graciela Gonzalez, Chitta Baral, Michael Gelfond:
  Alan: An Action Language For Modelling Non-Markovian Domains. 115-134
  
• Tran Cao Son, Phan Huy Tu, Xin Zhang:
  Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. 135-160
  

Volume 79, Number 2, March 2005

• Andrzej Grzegorczyk:
  Undecidability without Arithmetization. 163-230
  
• Giangiacomo Gerla:
  Fuzzy Logic Programming and Fuzzy Control. 231-254
  
• Stefan Wölfl:
  Events in Branching Time. 255-282
  
• Francesco Paoli:
  *-autonomous Lattices. 283-304
  

Volume 79, Number 3, April 2005

• Miroslaw Szatkowski:
  Semantic Analysis of some Variants of Anderson-like Ontological Proofs. 317-355
  
• M. Randall Holmes:
  The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory. 357-372
  
• Joseph S. Miller, Lawrence S. Moss:
  The Undecidability of Iterated Modal Relativization. 373-407
  
• Elliott Mendelson:
  Book Review: Igor Lavrov, Larisa Maksimova, Problems in Set Theory, Mathematical Logic and the Theory of Algorithms, Edited by Giovanna Corsi, Kluwer Academic / Plenum Publishers, 2003, pp xii + 282, ISBN 0-306-47712-2. 409-410