Volume 10, Number 1, March 2012

Editorial

• 
  Laura Kovács, Temur Kutsia: Special issue on Automated Specification and Verification of Web Systems. 1

Special issue papers

• 
  Rosario Pugliese, Francesco Tiezzi: A calculus for orchestration of web services. 2-31
• 
  Yuto Sakuma, Yasuhiko Minamide, Andrei Voronkov: Translating regular expression matching into transducers. 32-51

Regular papers

• 
  Renate A. Schmidt: The Ackermann approach for modal logic, correspondence theory and second-order reduction. 52-74
• 
  Sven Ove Hansson: Eradication. 75-84
• 
  Elisabetta Pastori: A note on two of Hrushovskiʼs constructions. 85-91
• 
  Giuseppe Primiero, Mariarosaria Taddeo: A modal type theory for formalizing trusted communications. 92-114
• 
  S. A. Selesnick, Gareth S. Owen: Quantum-like logics and schizophrenia. 115-126
• 
  Adel Bouhoula, Florent Jacquemard: Sufficient completeness verification for conditional and constrained TRS. 127-143
• 
  Achim Blumensath: Locality and modular Ehrenfeucht-Fraïssé games. 144-162

Volume 10, Number 2, June 2012

• 
  Roger Villemaire, Sylvain Hallé: Reasoning about visibility. 163-178
• 
  Benedikt Bollig, Dietrich Kuske: An optimal construction of Hanf sentences. 179-186
• 
  Mariusz Zynel: Correlations of spaces of pencils. 187-198
• 
  Murdoch James Gabbay: Unity in nominal equational reasoning: The algebra of equality on nominal sets. 199-217

Volume 10, Number 3, September 2012

• 
  Daniel Rönnedal: Temporal alethic-deontic logic and semantic tableaux. 219-237
• 
  Roberta Ballarin: Quine on intensional entities: Modality and quantification, truth and satisfaction. 238-249
• 
  Roberta Ballarin: Opacity and the double life of singular propositions. 250-259
• 
  Philippe Balbiani: Deciding the word problem in pure double Boolean algebras. 260-273

Volume 10, Number 4, December 2012

Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications

• 
  Emilio Corchado, Ajith Abraham, Václav Snásel, Javier Sedano, José Luís Calvo-Rolle, Laura García-Hernandez: Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications. 275-276
• 
  Aboul Ella Hassanien, Tai-Hoon Kim: Breast cancer MRI diagnosis approach using support vector machine and pulse coupled neural networks. 277-284
• 
  Manuel J. C. S. Reis, Raul Morais, Emanuel Peres, Carlos Pereira, Olga Contente, Salviano F. S. P. Soares, António Valente, José Baptista, Paulo Jorge S. G. Ferreira, J. Bulas Cruz: Automatic detection of bunches of grapes in natural environment from color images. 285-290
• 
  M. J. Jiménez-Come, E. Muñoz, R. García, V. Matres, M. L. Martín, F. Trujillo, I. Turias: Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniques. 291-297
• 
  Andrés Sanz-García, Alpha V. Pernía-Espinoza, R. Fernández-Martínez, Francisco J. Martínez de Pisón Ascacibar: Combining genetic algorithms and the finite element method to improve steel industrial processes. 298-308

Regular Papers

• 
  S. Wells, C. A. Reed: A domain specific language for describing diverse systems of dialogue. 309-329
• 
  Alwen Tiu, Alberto Momigliano: Cut elimination for a logic with induction and co-induction. 330-367
• 
  Bruno Courcelle, Irène Durand: Automata for the verification of monadic second-order graph properties. 368-409
• 
  Imen Bourguiba, Belaid Moa: Improving the semantics of the Software Cost Reduction method. 410-418
• 
  Silvio do Lago Pereira, Leliane Nunes de Barros: A planner agent that tries its best in presence of nondeterminism. 419-430
• 
  Wenyan Xu, Sanyang Liu: The countable versus uncountable branching recurrences in computability logic. 431-446