Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. (English) Zbl 1343.03002

Väänänen, Jouko (ed.); Hirvonen, Åsa (ed.); de Queiroz, Ruy (ed.)

Lecture Notes in Computer Science 9803. Berlin: Springer (ISBN 978-3-662-52920-1/pbk; 978-3-662-52921-8/ebook). xxii, 447 p. (2016).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1319.03010].
Indexed articles:
Accattoli, Beniamino, The useful MAM, a reasonable implementation of the strong \(\lambda\)-calculus, 1-21 [Zbl 06625876]
Aguilera, Juan P., Compactness in infinitary Gödel logics, 22-35 [Zbl 06625877]
Aguilera, Juan P.; Baaz, Matthias, Cut elimination for Gödel logic with an operator adding a constant, 36-51 [Zbl 06625878]
Axelsen, Holger Bock; Glück, Robert; Kaarsgaard, Robin, A classical propositional logic for reasoning about reversible logic circuits, 52-67 [Zbl 06625879]
Baldwin, John T., Foundations of mathematics: reliability and clarity: the explanatory role of mathematical induction, 68-82 [Zbl 06625880]
Baltag, Alexandru; Bezhanishvili, Nick; Özgün, Aybüke; Smets, Sonja, Justified belief and the topology of evidence, 83-103 [Zbl 06625881]
Barceló, Pablo, Semantic acyclicity for conjunctive queries: approximations and constraints, 104-108 [Zbl 06625882]
Bílková, Marta; Dostál, Matěj, Expressivity of many-valued modal logics, coalgebraically, 109-124 [Zbl 06625883]
Braüner, Torben; Blackburn, Patrick; Polyanskaya, Irina, Second-order false-belief tasks: analysis and formalization, 125-144 [Zbl 06625884]
Conradie, Willem; Frittella, Sabine; Palmigiano, Alessandra; Piazzai, Michele; Tzimoulis, Apostolos; Wijnberg, Nachoem M., Categories: how I learned to stop worrying and love two sorts, 145-164 [Zbl 06625885]
Corander, Jukka; Hyttinen, Antti; Kontinen, Juha; Pensar, Johan; Väänänen, Jouko, A logical approach to context-specific independence, 165-182 [Zbl 06625886]
Dawar, Anuj; Severini, Simone; Zapata, Octavio, Descriptive complexity of graph spectra, 183-199 [Zbl 1430.68118]
de Oliveira Oliveira, Mateus, Causality in bounded Petri nets is MSO definable, 200-214 [Zbl 06625888]
Frittella, Sabine; Greco, Giuseppe; Palmigiano, Alessandra; Yang, Fan, A multi-type calculus for inquisitive logic, 215-233 [Zbl 1429.03128]
Haak, Anselm; Vollmer, Heribert, A model-theoretic characterization of constant-depth arithmetic circuits, 234-248 [Zbl 06625890]
Kahramanoğulları, Ozan, True concurrency of deep inference proofs, 249-264 [Zbl 06625891]
Lin, Zhe; Ma, Minghui, On the complexity of the equational theory of residuated Boolean algebras, 265-278 [Zbl 06625892]
Makowsky, Johann A.; Ravve, Elena V., Semantic equivalence of graph polynomials definable in second order logic, 279-296 [Zbl 06625893]
Ochoa, Maicol A.; Villaveces, Andrés, Sheaves of metric structures, 297-315 [Zbl 06625894]
Pouliasis, Konstantinos, A curry-howard view of basic justification logic, 316-337 [Zbl 06625895]
Ramos, Marcus Vinícius Midena; de Queiroz, Ruy J. G. B.; Moreira, Nelma; Bacelar Almeida, José Carlos, On the formalization of some results of context-free language theory, 338-357 [Zbl 06625896]
Rudin, Deniz; DeVries, Karl; Duek, Karen; Kraus, Kelsey; Brasoveanu, Adrian, The semantics of corrections, 358-374 [Zbl 06625897]
Rönnholm, Raine, The expressive power of \(k\)-ary exclusion logic, 375-391 [Zbl 06625898]
Sano, Katsuhiko; Virtema, Jonni, Characterizing relative frame definability in team semantics via the universal modality, 392-409 [Zbl 06625899]
Yang, Fan, Negation and partial axiomatizations of dependence and independence logic revisited, 410-431 [Zbl 06625900]
Zuber, R., Anaphors and quantifiers, 432-445 [Zbl 06625901]

MSC:

03-06	Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06	Proceedings, conferences, collections, etc. pertaining to computer science
03B70	Logic in computer science
00B25	Proceedings of conferences of miscellaneous specific interest