Logic, Language, Information and Computation

19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Editors:

ISBN: 978-3-642-32620-2 (Print) 978-3-642-32621-9 (Online)

Table of contents (24 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Papers and Abstracts of Invited Lectures

    1. No Access

      Book Chapter

      Pages 1-25

      Formalizing Turing Machines

    2. No Access

      Book Chapter

      Pages 26-33

      Equivalence Relations That Are \(\Sigma^0_3\) Complete for Computable Reducibility

    3. No Access

      Book Chapter

      Pages 34-55

      An Analysis of Directed Motion Expressions with Lexicalized Tree Adjoining Grammars and Frame Semantics

    4. No Access

      Book Chapter

      Pages 56-69

      Admissible Rules: From Characterizations to Applications

    5. No Access

      Book Chapter

      Pages 70-84

      On Distributed Monitoring of Asynchronous Systems

    6. No Access

      Book Chapter

      Pages 85-87

      On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates

    7. No Access

      Book Chapter

      Pages 88-88

      Logical Methods in Quantum Information Theory

    8. No Access

      Book Chapter

      Pages 89-109

      Quantifying Notes

  3. Contributed Papers

    1. No Access

      Book Chapter

      Pages 110-126

      Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders

    2. No Access

      Book Chapter

      Pages 127-141

      Initiality for Typed Syntax and Semantics

    3. No Access

      Book Chapter

      Pages 142-153

      Moving Arrows and Four Model Checking Results

    4. No Access

      Book Chapter

      Pages 154-167

      Standard Completeness for Extensions of MTL: An Automated Approach

    5. No Access

      Book Chapter

      Pages 168-190

      The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge

    6. No Access

      Book Chapter

      Pages 191-205

      Minimization via Duality

    7. No Access

      Book Chapter

      Pages 206-215

      On Some Subclasses of the Fodor-Roubens Fuzzy Bi-implication

    8. No Access

      Book Chapter

      Pages 216-231

      Linearity in the Non-deterministic Call-by-Value Setting

    9. No Access

      Book Chapter

      Pages 232-245

      Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures

    10. No Access

      Book Chapter

      Pages 246-256

      Algorithmic Randomness and Ramsey Properties of Countable Homogeneous Structures

    11. No Access

      Book Chapter

      Pages 257-267

      Propositional Reasoning about Saturated Conditional Probabilistic Independence

    12. No Access

      Book Chapter

      Pages 268-281

      Contracting Logics

previous Page of 2