Skip to main content
SpringerLink
Log in

Logic, Language, Information, and Computation

23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Jouko Väänänen

    1. Dept of Mathematics & Statistics, Univ of Helsinki Dept of Mathematics & Statistics, Helsinki, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Åsa Hirvonen

    1. Department of Mathematics and Statistics, University of Helsinki , Helsinki, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ruy de Queiroz

    1. Centro de Informática , Recife, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9803)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: WoLLIC 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages I-XXII
    Download chapter PDF

  2. The Useful MAM, a Reasonable Implementation of the Strong \(\lambda \)-Calculus

    • Beniamino Accattoli
    Pages 1-21

  3. Compactness in Infinitary Gödel Logics

    • Juan P. Aguilera
    Pages 22-35

  4. Cut Elimination for Gödel Logic with an Operator Adding a Constant

    • Juan P. Aguilera, Matthias Baaz
    Pages 36-51

  5. A Classical Propositional Logic for Reasoning About Reversible Logic Circuits

    • Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard
    Pages 52-67

  6. Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction

    • John T. Baldwin
    Pages 68-82

  7. Justified Belief and the Topology of Evidence

    • Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets
    Pages 83-103

  8. Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints

    • Pablo Barceló
    Pages 104-108

  9. Expressivity of Many-Valued Modal Logics, Coalgebraically

    • Marta Bílková, Matěj Dostál
    Pages 109-124

  10. Second-Order False-Belief Tasks: Analysis and Formalization

    • Torben Braüner, Patrick Blackburn, Irina Polyanskaya
    Pages 125-144

  11. Categories: How I Learned to Stop Worrying and Love Two Sorts

    • Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem M. Wijnberg
    Pages 145-164

  12. A Logical Approach to Context-Specific Independence

    • Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
    Pages 165-182

  13. Descriptive Complexity of Graph Spectra

    • Anuj Dawar, Simone Severini, Octavio Zapata
    Pages 183-199

  14. Causality in Bounded Petri Nets is MSO Definable

    • Mateus de Oliveira Oliveira
    Pages 200-214

  15. A Multi-type Calculus for Inquisitive Logic

    • Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano, Fan Yang
    Pages 215-233

  16. A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits

    • Anselm Haak, Heribert Vollmer
    Pages 234-248

  17. True Concurrency of Deep Inference Proofs

    • Ozan Kahramanoğulları
    Pages 249-264

  18. On the Complexity of the Equational Theory of Residuated Boolean Algebras

    • Zhe Lin, Minghui Ma
    Pages 265-278

  19. Semantic Equivalence of Graph Polynomials Definable in Second Order Logic

    • Johann A. Makowsky, Elena V. Ravve
    Pages 279-296

  20. Sheaves of Metric Structures

    • Maicol A. Ochoa, Andrés Villaveces
    Pages 297-315
Back to top

Other volumes

  1. Logic, Language, Information, and Computation

Keywords

About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Communication, WoLLIC 2016, held in Puebla, Mexico, in August 2016.
The 23 contributed papers, presented together with 9 invited lectures and tutorials, were carefully reviewed and selected from 33 submissions. The focus of the workshop is to provide a forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning.



Editors and Affiliations

  • Dept of Mathematics & Statistics, Univ of Helsinki Dept of Mathematics & Statistics, Helsinki, Finland

    Jouko Väänänen

  • Department of Mathematics and Statistics, University of Helsinki , Helsinki, Finland

    Åsa Hirvonen

  • Centro de Informática , Recife, Brazil

    Ruy de Queiroz

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation