Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings - Brossura

Brossura

ISBN 10: 3642399932 ISBN 13: 9783642399930

Casa editrice: Springer, 2013

Riassunto

Logic and Agent Programming Languages.- Natural Models of Homotopy Type Theory (Abstract).- Modelling Infinite Structures with Atoms.- Counting in SPARQL Property Paths: Perspectives from Theory and Practice.- Quantitative Approaches to Information Protection.- Perspectives of Dynamic Complexity.- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach.- First Order Extensions of Residue Classes and Uniform Circuit Complexity.- Quantum Probabilistic Dyadic Second-Order Logic.- Structural Extensions of Display Calculi: A General Recipe.- The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic.- Boolean Dependence Logic and Partially-Ordered Connectives.- Extended Modal Dependence Logic EMDL.- Dependence Logic with Generalized Quantifiers: Axiomatizations.- Continuous Truth II: Reflections.- A Simple Separation Logic.- Independence in Database Relations.- Substructural Logic of Proofs.- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.- A Finite Model Property for G¨odel Modal Logics.- Model Checking for Modal Dependence Logic: An Approach through Post's Lattice.- Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL.- Information, Awareness and Substructural Logics.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2013
• Lingua: Inglese
• ISBN 10: 3642399932
• ISBN 13: 9783642399930
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile