Studia Logica, Volume 75

Volume 75, Number 1, October 2003

• Wiebe van der Hoek, Michael Wooldridge:
  Preface. 3-5
  
• Giacomo Bonanno:
  Memory of Past Beliefs and Actions. 7-30
  
• Hans P. van Ditmarsch:
  The Russian Cards Problem. 31-62
  
• Alessio Lomuscio, Marek J. Sergot:
  Deontic Interpreted Systems. 63-92
  
• Ron van der Meyden, Ka-Shu Wong:
  Complete Axiomatizations for Reasoning about Knowledge and Branching Time. 93-123
  
• Wiebe van der Hoek, Michael Wooldridge:
  Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications. 125-157
  

Volume 75, Number 2, November 2003

• Marc Pauly, Rohit Parikh:
  Editorial Introduction. 163-164
  
• Marc Pauly, Rohit Parikh:
  Game Logic - An Overview. 165-182
  
• Johan van Benthem:
  Logic Games are Complete for Game Logics. 183-203
  
• Dietmar Berwanger:
  Game Logic is Strong Enough for Parity Games. 205-219
  
• Valentin Goranko:
  The Basic Algebra of Game Equivalences. 221-238
  
• Yde Venema:
  Representation of Game Algebras. 239-256
  

Volume 75, Number 3, December 2003

• Brian A. Davey, John C. Galati:
  A Coalgebraic View of Heyting Duality. 259-270
  
• Michela Sabbadin, Alberto Zanardo:
  Topological Aspects of Branching-Time Semantics. 271-286
  
• Athanassios Tzouvaras:
  The Logic of Multisets Continued: The Case of Disjunction. 287-304
  
• Ramon Jansana:
  Leibniz Filters Revisited. 305-317
  
• Cezary Cieslinski:
  Löb's Theorem in a Set Theoretical Setting. 319-326
  
• Johan van Benthem, Guram Bezhanishvili, Mai Gehrke:
  Euclidean Hierarchy in Modal Logic. 327-344
  
• Andrzej Indrzejczak:
  A Labelled Natural Deduction System for Linear Temporal Logic. 345-376
  
• Robert Saxon Milnikel:
  Embedding Modal Nonmonotonic Logics into Default Logic. 377-382
  
• Bart Van Kerkhove, Guido Vanackere:
  Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes. 383-411
  
• M. Randall Holmes:
  Karel Lambert, Free Logic: Selected Essays. 413-419
  

Last update Wed May 22 18:20:49 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page