The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 70, Issue 4
Publication Date: December 2005
2-ExpTime lower bounds for propositional dynamic logics with intersection
Martin Lange and Carsten Lutz; 1072-1086
Induction and inductive definitions in fragments of second order arithmetic
Klaus Aehlig; 1087-1107
The geometry of non-distributive logics
Francesco Paoli and Greg Restall; 1108-1126
Logical consecutions in discrete linear temporal logic
V. V. Rybakov; 1137-1149
Elimination of imaginaries in expansions of o-minimal structures by generic sets
Sergio Fratarcangeli; 1150-1160
The first-order structure of weakly Dedekind-finite sets
A. C. Walczak-Typke; 1161-1170
An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
Dan E. Willard; 1171-1209
The disjunction and related properties for constructive Zermelo-Fraenkel set theory
Michael Rathjen; 1233-1254
A dichotomy in classifying quantifiers for finite models
Mor Doron and Saharon Shelah; 1297-1324
Cofinal families of Borel equivalence relations and quasiorders
Christian Rosendal; 1325-1340
Free spectra of linear equivalential algebras
Katarzyna Słomczyńska; 1341-1358
A note on orthogonality and stable embeddedness
Gregory Cherlin, Marko Djordjevic and Ehud Hrushovski; 1359-1364
