Journal of Logic and Computation

201	--	228	Orna Grumberg, Robert P. Kurshan. Which Branching-Time Properties are Effectively Linear?
229	--	256	Daniel J. Lehmann. Nonmonotonic Logics and Semantics
257	--	282	Gerhard Brewka. Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on Situation Calculus
283	--	294	Agata Ciabattoni. Hypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
295	--	336	Michiel van Lambalgen. Conditional Quantification, or Poor Man s Probability
337	--	354	Gilbert Ndjatou. Minimizing Agent Specifications using a Logic of Knowledge and Actions
355	--	356	Richard E. Overill. Book Review: Parallel Processing and Parallel Algorithms: Theory and Computation by Seyed H. Roosta
355	--	0	Richard E. Overill. Book Review: Selected Papers on Analysis of Algorithms by Donald E. Knuth
356	--	0	Richard E. Overill. Book Review: Time Warps, String Edits, and Macromolecules: the Theory and Practice of Sequence Comparison by David Sankoff and Joseph Kruskal

External Links