Volume 205, April 2008

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007)

• 
  Mauricio Ayala-Rincón, Edward Hermann Haeusler: Preface. 1-3
• 
  Fairouz Kamareddine, J. B. Wells: Computerizing Mathematical Text with MathLang. 5-30
• 
  Mario R. F. Benevides, L. Menasché Schechter: Modal Expressiveness of Graph Properties. 31-47
• 
  Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso: Sequent Calculi for 'Generally'. 49-65
• 
  Marco Gaboardi, Jean-Yves Marion, Simona Ronchi Della Rocca: Soft Linear Logic and Polynomial Complexity Classes. 67-87
• 
  Alexandre Matos Arruda, Ana Teresa C. Martins: An Infinitary System for the Least Fixed-Point Logic restricted to Finite Models. 89-104
• 
  André Murbach Maidl, Cláudio Carvilhe, Martin A. Musicante: Maude Object-Oriented Action Tool. 105-121
• 
  Luis Carlos de Sousa Menezes: Aspect-Oriented Action Semantics Descriptions. 123-135
• 
  Gilles Dowek: On the Convergence of Reduction-based and Model-based Methods in Proof Theory. 137-144