Volume 18, Number 1, January 2009

• 
  Thomas Ågotnes, Natasha Alechina: Editorial. 1-2
• 
  Michael Fisher, Chiara Ghidini: Exploring the Future with Resource-Bounded Agents. 3-21
• 
  Fenrong Liu: Diversity of Agents and Their Interaction. 23-53
• 
  Thomas Ågotnes, Dirk Walther: A Logic of Strategic Ability Under Bounded Memory. 55-77
• 
  Natasha Alechina, Brian Logan: A Logic of Situated Resource-Bounded Agents. 79-95
• 
  Michal Walicki, Marc Bezem, Wojtek Szajnkenig: Developing Bounded Reasoning. 97-129
• 
  Mark Jago: Epistemic Logic for Rule-Based Agents. 131-158

Volume 18, Number 2, April 2009

• 
  Anders Søgaard, Martin Lange: Polyadic Dynamic Logics for HPSG Parsing. 159-198
• 
  José M. Méndez, Gemma Robles: The Basic Constructive Logic for Absolute Consistency. 199-216
• 
  Brian R. Gaines: Designing Visual Languages for Description Logics. 217-250
• 
  Lucas Dixon, Alan Smaill, Tracy Tsang: Plans, Actions and Dialogues Using Linear Logic. 251-289
• 
  Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge: Strong Completeness and Limited Canonicity for PDL. 291-292

Volume 18, Number 3, July 2009

• 
  Yael Cohen-Sygal, Shuly Wintner: Associative Grammar Combination Operators for Tree-Based Grammars. 293-316
• 
  Juha Kontinen, Jouko A. Väänänen: On Definability in Dependence Logic. 317-332
• 
  Stephan van der Waart van Gulik: Adaptive Fuzzy Logics for Contextual Hedge Interpretation. 333-356
• 
  Gemma Robles, José M. Méndez: Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. 357-402
• 
  Ken Akiba: A New Theory of Quantifiers and Term Connectives. 403-431

Volume 18, Number 4, October 2009

• 
  Thomas Schwentick, Henrik Björklund: Volker Weber. 433
• 
  Torben Braüner, Thomas Bolander: Preface. 435-436
• 
  Mark Kaminski, Gert Smolka: Terminating Tableau Systems for Hybrid Logic with Difference and Converse. 437-464
• 
  Martin Lange: Model Checking for Hybrid Logic. 465-491
• 
  Martin Mundhenk, Thomas Schneider: The Complexity of Hybrid Logics over Equivalence Relations. 493-514
• 
  Katsuhiko Sano: Hybrid Counterfactual Logics. 515-539
• 
  Dmitry Sustretov: Hybrid Logics of Separation Axioms. 541-558
• 
  Tero Tulenheimo: Hybrid Logic Meets IF Modal Logic. 559-591
• 
  Volker Weber: Branching-Time Logics Repeatedly Referring to States. 593-624

last updated on Mon May 20 03:26:21 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page