| Description |
1 online resource (x, 283 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 8071 |
|
Lecture notes in computer science ; 8071.
|
| Contents |
Logic and Agent Programming Languages / Natasha Alechina -- Natural Models of Homotopy Type Theory (Abstract) / Steve Awodey -- Modelling Infinite Structures with Atoms / Mikołaj Bojańczyk -- Counting in SPARQL Property Paths: Perspectives from Theory and Practice / Wim Martens -- Quantitative Approaches to Information Protection / Catuscia Palamidessi -- Perspectives of Dynamic Complexity / Thomas Schwentick -- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach / Laís Andrade, Ruan Carvalho -- First Order Extensions of Residue Classes and Uniform Circuit Complexity / Argimiro Arratia, Carlos E. Ortiz -- Quantum Probabilistic Dyadic Second-Order Logic / Alexandru Baltag, Jort M. Bergfeld -- Structural Extensions of Display Calculi: A General Recipe / Agata Ciabattoni, Revantha Ramanayake -- The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic / Sjur Kristoffer Dyrkolbotn -- Boolean Dependence Logic and Partially-Ordered Connectives / Johannes Ebbing, Lauri Hella, Peter Lohmann -- Extended Modal Dependence Logic EMDL / Johannes Ebbing, Lauri Hella, Arne Meier -- Dependence Logic with Generalized Quantifiers: Axiomatizations / Fredrik Engström, Juha Kontinen -- Continuous Truth II: Reflections / Michael P. Fourman -- A Simple Separation Logic / Andreas Herzig -- Independence in Database Relations / Juha Kontinen, Sebastian Link -- Substructural Logic of Proofs / Hidenori Kurokawa, Hirohiko Kushida -- Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics / Yoshihiro Maruyama -- A Finite Model Property for Gödel Modal Logics / Xavier Caicedo, George Metcalfe -- Model Checking for Modal Dependence Logic: An Approach through Post's Lattice / Julian-Steffen Müller, Heribert Vollmer -- Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL* / Philippe Balbiani, Emiliano Lorini -- Information, Awareness and Substructural Logics / Igor Sedlár |
| Summary |
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Communication, WoLLIC 2013, held in Darmstadt, Germany, in August 2013. The 17 contributed papers presented together with 6 invited lectures were carefully reviewed and selected from 30 submissions. The scope of the workshop spans the theoretical and practical aspects of formal logic, computing and programming theory, and natural language and reasoning |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed September 26, 2013) |
| Subject |
Computer logic -- Congresses
|
|
Logic, Symbolic and mathematical -- Congresses
|
|
Mathematics.
|
|
Logic.
|
|
Mathematics
|
|
Logic
|
|
applied mathematics.
|
|
mathematics.
|
|
logic.
|
|
Mathematics
|
|
Logic
|
|
Computer logic
|
|
Logic, Symbolic and mathematical
|
|
Mathematics.
|
|
Physical Sciences & Mathematics.
|
|
Mathematical Theory.
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Libkin, Leonid, editor
|
|
Kohlenbach, U. (Ulrich), editor.
|
|
Queiroz, Ruy J. G. B. de, editor
|
| ISBN |
9783642399923 |
|
3642399924 |
|
3642399916 |
|
9783642399916 |
|
