Logic, Language, Information, and Computation

20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Editors:

ISBN: 978-3-642-39991-6 (Print) 978-3-642-39992-3 (Online)

Table of contents (23 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-10

    Logic and Agent Programming Languages

  3. No Access

    Book Chapter

    Pages 11-12

    Natural Models of Homotopy Type Theory (Abstract)

  4. No Access

    Book Chapter

    Pages 13-28

    Modelling Infinite Structures with Atoms

  5. No Access

    Book Chapter

    Pages 29-30

    Counting in SPARQL Property Paths: Perspectives from Theory and Practice

  6. No Access

    Book Chapter

    Pages 31-32

    Quantitative Approaches to Information Protection

  7. No Access

    Book Chapter

    Pages 33-33

    Perspectives of Dynamic Complexity

  8. No Access

    Book Chapter

    Pages 34-48

    Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach

  9. No Access

    Book Chapter

    Pages 49-63

    First Order Extensions of Residue Classes and Uniform Circuit Complexity

  10. No Access

    Book Chapter

    Pages 64-80

    Quantum Probabilistic Dyadic Second-Order Logic

  11. No Access

    Book Chapter

    Pages 81-95

    Structural Extensions of Display Calculi: A General Recipe

  12. No Access

    Book Chapter

    Pages 96-110

    The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic

  13. No Access

    Book Chapter

    Pages 111-125

    Boolean Dependence Logic and Partially-Ordered Connectives

  14. No Access

    Book Chapter

    Pages 126-137

    Extended Modal Dependence Logic \(\mathcal{EMDL}\)

  15. No Access

    Book Chapter

    Pages 138-152

    Dependence Logic with Generalized Quantifiers: Axiomatizations

  16. No Access

    Book Chapter

    Pages 153-167

    Continuous Truth II: Reflections

  17. No Access

    Book Chapter

    Pages 168-178

    A Simple Separation Logic

  18. No Access

    Book Chapter

    Pages 179-193

    Independence in Database Relations

  19. No Access

    Book Chapter

    Pages 194-210

    Substructural Logic of Proofs

  20. No Access

    Book Chapter

    Pages 211-225

    Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics

  21. No Access

    Book Chapter

    Pages 226-237

    A Finite Model Property for Gödel Modal Logics

previous Page of 2