zbMATH — the first resource for mathematics

Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. (English) Zbl 1343.03002
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]

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
Full Text: DOI