Logic, Language, Information, and Computation

1. Front Matter

   Pages I-XXII

   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

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.

• algebraic graph theory
• computer science logic
• descriptive complexity
• formal concept analysis
• model theory
• Philosophical logic
• theory of computation
• modal logic
• dependence logic
• semantics
• quantifier
• algorithm analysis and problem complexity

• 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

Policies and ethics