Volume 169, March 2007

Proceedings of the Workshop on Logic, Models and Computer Science (LMCS 2006)

• 
  Flavio Corradini, Carlo Toffalori: Preface. 1-2
• 
  Luca Aceto: Impossibility Results in the Equational Logic of Processes. 3-6
• 
  Marco Bernardo, Stefania Botta: Modal Logic Characterization of Markovian Testing and Trace Equivalences. 7-18
• 
  Mariangiola Dezani-Ciancaglini, Makoto Tatsuta: A Behavioural Model for Klop's Calculus. 19-32
• 
  Tommaso Flaminio, Enrico Marchioni: Mixed Rational Assessments of Possibility and Probability Measures. 33-42
• 
  Andrea Capotorti, Andrea Formisano, Gianfranco Murador: Qualitative Uncertainty Orderings Revised. 43-59
• 
  Ying Gao, Jingde Cheng: Semantics for a Basic Relevant Logic with Intensional Conjunction and Disjunction. 61-71
• 
  Paolo Gentilini: Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference. 73-86
• 
  Yuichi Goto, Jingde Cheng: A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic. 87-97
• 
  Federico Greco, Ivan Gerace: The Traveling Salesman Problem in Circulant Weighted Graphs With Two Stripes. 99-109
• 
  Giacomo Lenzi: About a Positive Set Theory With Equality. 111-120
• 
  Stefano Mancini, Simone Severini: The Quantum Separability Problem for Gaussian States. 121-131
• 
  Rocco De Nicola, Michele Loreti: Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. 133-146