Journal of Logic and Computation

925	--	949	Sarah Alice Gaggl, Stefan Woltran. The cf2 argumentation semantics revisited
951	--	989	Floris Bex, Sanjay Modgil, Henry Prakken, Chris Reed. On logical specifications of the Argument Interchange Format
991	--	1015	Antonis C. Kakas, Paolo Mancarella. On the semantics of abstract argumentation
1017	--	1033	Z. Liang, K. Subramani, James Worthington. Polynomial time certifying algorithms for the planar quantified integer programming problem
1035	--	1055	Stanislav O. Speranski. Complexity for probability logic with quantifiers over propositions
1057	--	1080	Mark Alexander Reynolds. A tableau for general linear temporal logic
1081	--	1096	David Poole. Foundations of model construction in feature-based semantic science
1097	--	1106	Dirk Hofmann, Manuel A. Martins. On a coalgebraic view on Logic
1107	--	1141	Ernest Davis. The expressive power of first-order topological languages

External Links