Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. (English) Zbl 1214.03002

Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). x, 311 p. (2011).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1196.03005].
Indexed articles:
Voevodsky, Vladimir, Univalent foundations of mathematics, 4 [Zbl 1371.03097]
Achilleos, Antonis, A complexity question in justification logic, 8-19 [Zbl 1271.03025]
Areces, Carlos; Carreiro, Facundo; Figueira, Santiago; Mera, Sergio, Basic model theory for memory logics, 20-34 [Zbl 1260.03035]
Bucheli, Samuel; Kuznets, Roman; Studer, Thomas, Partial realization in dynamic justification logic, 35-51 [Zbl 1328.03014]
Charlton, Nathaniel, Hoare logic for higher order store using simple semantics, 52-66 [Zbl 1326.68085]
Clouston, Ranald, Nominal Lawvere theories, 67-83 [Zbl 1326.68087]
da Cunha, Aubrey, Turing machines on Cayley graphs, 84-94 [Zbl 1326.68137]
Donders, Michael; Miner More, Sara; Naumov, Pavel, Information flow on directed acyclic graphs, 95-109 [Zbl 1326.68208]
Ferrarotti, Flavio; Hartmann, Sven; Köhler, Henning; Link, Sebastian; Vincent, Millist, The Boyce-Codd-Heath normal form for SQL, 110-122 [Zbl 1326.68121]
Ferreira, Francicleber Martins; Freire, Cibele Matos; Benevides, Mario R. F.; Schechter, L. Menasché; Martins, Ana Teresa, Hybrid logics and NP graph properties, 123-134 [Zbl 1326.68141]
Figueira, Santiago; Gorín, Daniel; Grimson, Rafael, On the expressive power of IF-logic with classical negation, 135-145 [Zbl 1328.03029]
Gutierrez, Julian, Concurrent logic games on partial orders, 146-160 [Zbl 1291.03066]
Horn, Alexander, Dynamic epistemic algebra with post-conditions to reason about robot navigation, 161-175 [Zbl 1326.68276]
Jordan, Charles; Zeugmann, Thomas, Untestable properties in the Kahr-Moore-Wang class, 176-186 [Zbl 1326.68332]
Kontinen, Juha; Szymanik, Jakub, Characterizing definability of second-order generalized quantifiers, 187-200 [Zbl 1328.03041]
Mints, Grigori, Countable version of Omega-rule, 201-209 [Zbl 1328.03053]
Severi, Paula; de Vries, Fer-Jan, Decomposing the lattice of meaningless sets in the infinitary lambda calculus, 210-227 [Zbl 1328.03009]
Shamkanov, Daniyar S., Strong normalization and confluence for reflexive combinatory logic, 228-238 [Zbl 1328.03010]
Statman, Rick, On polymorphic types of untyped terms, 239-256 [Zbl 1328.03011]
Thorne, Camilo, Querying the fragments of English, 257-271 [Zbl 1326.68298]
Verdée, Peter, Strong paraconsistency by separating composition and decomposition in classical logic, 272-292 [Zbl 1328.03027]
Yanovich, Igor, How much expressive power is needed for natural language temporal indexicality?, 293-309 [Zbl 1328.03031]


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


Zbl 1196.03005
Full Text: DOI