Journal of Logic and Computation

393	--	415	M. Pourmahdian, R. Zoghifard. Probability logic: A model-theoretic perspective
416	--	425	M. Clarence Protin. Type inhabitation of atomic polymorphism is undecidable
426	--	443	Mikhail N. Rybakov, Dmitry Shkatov. Complexity of finite-variable fragments of products with K
444	--	472	Lázaro Alberto Larrauri. Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas
473	--	493	Steffen Lewitzka. Access-based intuitionistic knowledge
494	--	522	Mikhail N. Rybakov, Dmitry Shkatov. Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages
523	--	572	Zhiguang Zhao. Algorithmic correspondence and canonicity for possibility semantics
573	--	596	Julia Ilin, Dick De Jongh, Fan Yang 0004. NNIL-formulas revisited: Universal models and finite model property
597	--	611	C. A. Middelburg. On the strongest three-valued paraconsistent logic contained in classical logic and its dual
612	--	629	Isaac Goldbring, Bradd Hart. Operator algebras with hyperarithmetic theory
630	--	653	Emanuele Frittaion, Michael Rathjen. Extensional realizability for intuitionistic set theory
654	--	699	Timotheus Kampik, Juan Carlos Nieves. Abstract argumentation and the rational man

External Links