Abstract is missing.
- Compositional Reasoning for Multi-modal LogicsLuca Aceto, Anna Ingólfsdóttir, Cristian Prisacariu, Joshua Sack. 1-15 [doi]
- Explicit Generic Common KnowledgeEvangelia Antonakos. 16-28 [doi]
- Beyond 2-Safety: Asymmetric Product Programs for Relational Program VerificationGilles Barthe, Juan Manuel Crespo, César Kunz. 29-43 [doi]
- Assignment Calculus: A Pure Imperative LanguageMarc Bender, Jeffery I. Zucker. 44-58 [doi]
- Multiplayer Cost Games with Simple Nash EquilibriaThomas Brihaye, Julie De Pril, Sven Schewe. 59-73 [doi]
- Forward Chaining for Hybrid ASPAlex Brik, Jeffrey B. Remmel. 74-88 [doi]
- Effectivity Questions for Kleene's Recursion TheoremJohn Case, Sanjay Jain, Frank Stephan. 89-103 [doi]
- Sub-computable Bounded PseudorandomnessDouglas Cenzer, Jeffrey B. Remmel. 104-118 [doi]
- Automated Support for the Investigation of Paraconsistent and Other LogicsAgata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky. 119-133 [doi]
- A Modal BI Logic for Dynamic Resource PropertiesJ. R. Courtault, Didier Galmiche. 134-148 [doi]
- Stuttering for Abstract Probabilistic AutomataBenoît Delahaye, Kim G. Larsen, Axel Legay. 149-163 [doi]
- Call-by-Value Non-determinism in a Linear Logic Type DisciplineAlejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani. 164-178 [doi]
- ω-LanguagesJacques Duparc, Olivier Finkel, Jean-Pierre Ressayre. 179-193 [doi]
- Iterated Contraction Based on IndistinguishabilityKonstantinos Georgatos. 194-205 [doi]
- A Note on Extensions: Admissible Rules via SemanticsJeroen Goudsmit. 206-218 [doi]
- Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the DifferenceBernhard Heinemann. 219-233 [doi]
- Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid SystemsPing Hou, Hao Zheng. 234-251 [doi]
- Computational Hardness of Validity in Probability LogicRutger Kuyper. 252-265 [doi]
- Update as Evidence: Belief ExpansionRoman Kuznets, Thomas Studer. 266-279 [doi]
- Separating the Fan Theorem and Its WeakeningsRobert S. Lubarsky, Hannes Diener. 280-295 [doi]
- The Logic of Uncertain JustificationsBob Milnikel. 296-306 [doi]
- Justifications, Awareness and Epistemic DynamicsIgor Sedlár. 307-318 [doi]
- Normal Forms for Multiple Context-Free Languages and Displacement Lambek GrammarsAlexey Sorokin. 319-334 [doi]
- Constructive Polychronous SystemsJean-Pierre Talpin, Jens Brandt, Mike Gemünde, Klaus Schneider, Sandeep K. Shukla. 335-349 [doi]
- On Tolerance Analysis of Games with Belief RevisionÇagil Tasdemir. 350-358 [doi]
- Temporalizing Modal Epistemic LogicRen-June Wang. 359-371 [doi]
- Contextual Natural DeductionBruno Woltzenlogel Paleo. 372-386 [doi]
- Conservatively Approximable FunctionsSebastian Wyman. 387-400 [doi]
- Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic LogicJunhua Yu. 401-414 [doi]