Logical Methods in Computer Science

1.	Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
	Lars Birkedal, Noah Torp-Smith and Hongseok Yang


2.	Linear Abadi and Plotkin Logic
	Lars Birkedal, Rasmus E. Møgelberg and Rasmus Lerchedahl Petersen


3.	The Completeness of Propositional Resolution: A Simple and Constructive Proof
	Jean H. Gallier


4.	Elgot Algebras
	Jiří Adámek, Stefan Milius and Jiří Velebil


5.	Linear Encodings of Bounded LTL Model Checking
	Armin Biere, Keijo Heljanko, Tommi Junttila, Timo Latvala and Viktor Schuppan