LFCS 2009: Deerfield Beach, FL, USA

• Stefano Aguzzoli, Simone Bova, Vincenzo Marra:
  Applications of Finite Duality to Locally Finite Varieties of BL-Algebras. 1-15
  Electronic Edition (link) BibTeX
• Carlos Areces, Santiago Figueira, Sergio Mera:
  Completeness Results for Memory Logics. 16-30
  Electronic Edition (link) BibTeX
• Arnon Avron, Anna Zamansky:
  Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. 31-45
  Electronic Edition (link) BibTeX
• Pedro Baltazar, Paulo Mateus:
  Temporalization of Probabilistic Propositional Logic. 46-60
  Electronic Edition (link) BibTeX
• Nicolas Bedon:
  Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings. 61-75
  Electronic Edition (link) BibTeX
• Eduardo Bonelli, Federico Feller:
  The Logic of Proofs as a Foundation for Certifying Mobile Computation. 76-91
  Electronic Edition (link) BibTeX
• Thomas Brihaye, Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey:
  ATLwith Strategy Contexts and Bounded Memory. 92-106
  Electronic Edition (link) BibTeX
• Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto:
  A Relational Model of a Parallel and Non-deterministic lambda-Calculus. 107-121
  Electronic Edition (link) BibTeX
• Samuel R. Buss, Roman Kuznets:
  The NP-Completeness of Reflected Fragments of Justification Logics. 122-136
  Electronic Edition (link) BibTeX
• Ugo Dal Lago, Luca Roversi, Luca Vercelli:
  Taming Modal Impredicativity: Superlazy Reduction. 137-151
  Electronic Edition (link) BibTeX
• Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrúcio Viana:
  Positive Fork Graph Calculus. 152-163
  Electronic Edition (link) BibTeX
• Elisabetta De Maria, Angelo Montanari, Nicola Vitacolonna:
  Games on Strings with a Limited Order Relation. 164-179
  Electronic Edition (link) BibTeX
• Amélie Gheerbrant, Balder ten Cate:
  Complete Axiomatizations of MSO, FO(TC1)and FO(LFP1)on Finite Trees. 180-196
  Electronic Edition (link) BibTeX
• Valentin Goranko, Dmitry Shkatov:
  Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic. 197-213
  Electronic Edition (link) BibTeX
• Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo:
  A Clausal Approach to Proof Analysis in Second-Order Logic. 214-229
  Electronic Edition (link) BibTeX
• Rosalie Iemhoff, George Metcalfe:
  Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. 230-245
  Electronic Edition (link) BibTeX
• Max I. Kanovich:
  Light Linear Logic with Controlled Weakening. 246-264
  Electronic Edition (link) BibTeX
• Uwe Keller, Stijn Heymans:
  Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm. 265-279
  Electronic Edition (link) BibTeX
• Antoine Genitrini, Jakub Kozik:
  Quantitative Comparison of Intuitionistic and Classical Logics - Full Propositional System. 280-294
  Electronic Edition (link) BibTeX
• Hidenori Kurokawa:
  Tableaux and Hypersequents for Justification Logic. 295-308
  Electronic Edition (link) BibTeX
• Robert S. Lubarsky:
  Topological Forcing Semantics with Settling. 309-322
  Electronic Edition (link) BibTeX
• Victor W. Marek, Jeffrey B. Remmel:
  Automata and Answer Set Programming. 323-337
  Electronic Edition (link) BibTeX
• Andrea Masini, Luca Viganò, Marco Volpe:
  A Labeled Natural Deduction System for a Fragment of CTL*. 338-353
  Electronic Edition (link) BibTeX
• Robert Saxon Milnikel:
  Conservativity for Logics of Justified Belief. 354-364
  Electronic Edition (link) BibTeX
• Wojciech Moczydlowski:
  Unifying Sets and Programs via Dependent Types. 365-379
  Electronic Edition (link) BibTeX
• Yury Savateev:
  Product-Free Lambek Calculus Is NP-Complete. 380-394
  Electronic Edition (link) BibTeX
• Anil Seth:
  Games on Multi-stack Pushdown Systems. 395-408
  Electronic Edition (link) BibTeX
• Phiniki Stouppa, Thomas Studer:
  Data Privacy for Knowledge Bases. 409-421
  Electronic Edition (link) BibTeX
• Kohtaro Tadaki:
  Fixed Point Theorems on Partial Randomness. 422-440
  Electronic Edition (link) BibTeX
• Sebastiaan Terwijn:
  Decidability and Undecidability in Probability Logic. 441-450
  Electronic Edition (link) BibTeX
• James Worthington:
  A Bialgebraic Approach to Automata and Formal Language Theory. 451-467
  Electronic Edition (link) BibTeX