Abstract is missing.
- Streaming String TransducersRajeev Alur. 1 [doi]
- Unification in LogicRosalie Iemhoff. 2 [doi]
- A Symbolic Logic with Exact Bounds for Cryptographic ProtocolsJohn C. Mitchell. 3 [doi]
- Univalent Foundations of MathematicsVladimir Voevodsky. 4 [doi]
- Relational Concepts and the Logic of ReciprocityYoad Winter. 5 [doi]
- Logic in the Time of WWW: An OWL ViewMichael Zakharyaschev. 6-7 [doi]
- A Complexity Question in Justification LogicAntonis Achilleos. 8-19 [doi]
- Basic Model Theory for Memory LogicsCarlos Areces, Facundo Carreiro, Santiago Figueira, Sergio Mera. 20-34 [doi]
- Partial Realization in Dynamic Justification LogicSamuel Bucheli, Roman Kuznets, Thomas Studer. 35-51 [doi]
- Hoare Logic for Higher Order Store Using Simple SemanticsNathaniel Charlton. 52-66 [doi]
- Nominal Lawvere TheoriesRanald Clouston. 67-83 [doi]
- Information Flow on Directed Acyclic GraphsMichael S. Donders, Sara Miner More, Pavel Naumov. 95-109 [doi]
- The Boyce-Codd-Heath Normal Form for SQLFlavio Ferrarotti, Sven Hartmann, Henning Köhler, Sebastian Link, Millist Vincent. 110-122 [doi]
- Hybrid Logics and NP Graph PropertiesFrancicleber Martins Ferreira, Cibele Matos Freire, Mario R. F. Benevides, L. Menasché Schechter, Ana Teresa C. Martins. 123-134 [doi]
- On the Expressive Power of IF-Logic with Classical NegationSantiago Figueira, Daniel Gorín, Rafael Grimson. 135-145 [doi]
- Concurrent Logic Games on Partial OrdersJulian Gutierrez. 146-160 [doi]
- Untestable Properties in the Kahr-Moore-Wang ClassCharles Jordan, Thomas Zeugmann. 176-186 [doi]
- Characterizing Definability of Second-Order Generalized QuantifiersJuha Kontinen, Jakub Szymanik. 187-200 [doi]
- Countable Version of Omega-RuleGrigori Mints. 201-209 [doi]
- Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda CalculusPaula Severi, Fer-Jan de Vries. 210-227 [doi]
- Strong Normalization and Confluence for Reflexive Combinatory LogicDaniyar S. Shamkanov. 228-238 [doi]
- On Polymorphic Types of Untyped TermsRick Statman. 239-256 [doi]
- Querying the Fragments of EnglishCamilo Thorne. 257-271 [doi]
- Strong Paraconsistency by Separating Composition and Decomposition in Classical LogicPeter Verdée. 272-292 [doi]
- How Much Expressive Power Is Needed for Natural Language Temporal Indexicality?Igor Yanovich. 293-309 [doi]