Journal: Journal of Logic and Computation

Volume 17, Issue 6

1021 -- 1023Arnold Beckmann, Benedikt Löwe, Dag Normann. Logical Approaches to Computational Barriers: CiE 2006
1025 -- 1040Bahareh Afshari, George Barmpalias, S. Barry Cooper, Frank Stephan. Post s Programme for the Ershov Hierarchy
1041 -- 1062George Barmpalias, Paul Brodhead, Douglas Cenzer, Seyyed Dashti, Rebecca Weber. Algorithmic Randomness of Closed Sets
1063 -- 1081Fredrik Dahlgren. Partial Continuous Functions and Admissible Domain Representations
1083 -- 1098Arnoud den Boer, Andreas Weiermann. A Sharp Phase Transition Threshold for Elementary Descent Recursive Functions
1099 -- 1107A. Sirokofskich, Costas Dimitracopoulos. On a Problem of J. Paris
1109 -- 1134Roy Dyckhoff, Stéphane Lengrand. Call-by-Value lambda-calculus and LJQ
1135 -- 1151Oleg V. Kudinov, Victor L. Selivanov. Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests
1153 -- 1166Jiang Liu, Guohua Wu. Isolation, Infima and Diamond Embeddings
1167 -- 1191Alan Skelley. Third-Order Computation and Bounded Arithmetic
1193 -- 1214Ivan N. Soskov. The omega-Enumeration Degrees
1215 -- 1233Alexandra A. Soskova. Relativized Degree Spectra
1235 -- 1255Mariya Ivanova Soskova. Genericity and Non-bounding in the Enumeration degrees

Volume 17, Issue 5

847 -- 849Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher. Preface
851 -- 869Alexander Bochman. A Causal Theory of Abduction
871 -- 907James P. Delgrande, Torsten Schaub, Hans Tompits. A General Framework for Expressing Preferences in Causal Reasoning and Planning
909 -- 937Olivier Gauwin, Sébastien Konieczny, Pierre Marquis. Conciliation through Iterated Belief Merging
939 -- 953Mark Hopkins, Judea Pearl. Causality and Counterfactuals in the Situation Calculus
955 -- 982Yves Moinard. Forgetting Literals with Varying Propositional Symbols
983 -- 1018Steven Shapiro, Yves Lespérance, Hector J. Levesque. Goal Change in the Situation Calculus

Volume 17, Issue 4

615 -- 0Ian Horrocks. Logic for Ontology Engineering Corner
617 -- 637Boris Motik. On the Properties of Metamodeling in OWL
639 -- 685Jeremy Forth, Rob Miller 0002. Ramifications: An Extension and Correspondence Result for the Event Calculus
687 -- 726Nicolas Biri, Didier Galmiche. Models and Separation Logics for Resource Trees
727 -- 747Zhaohui Zhu, Wenjie Xiao. Two Representation Theorems for Non-monotonic Inference Relations
749 -- 765Stefano Aguzzoli, Manuela Busaniche, Vincenzo Marra. Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications
767 -- 794Rajeev Goré, Alwen Tiu. Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5
795 -- 806Joseph Y. Halpern, Leandro Chaves Rêgo. Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
807 -- 841Joey W. Coleman, Cliff B. Jones. A Structural Proof of the Soundness of Rely/guarantee Rules

Volume 17, Issue 3

415 -- 452Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev. A Logic for Concepts and Similarity
453 -- 477Christian G. Fermüller, Reinhard Pichler. Model Representation over Finite and Infinite Signatures
479 -- 498Sven Ove Hansson. Contraction Based on Sentential Selection
499 -- 515Magdalena Ortiz, Mauricio Osorio. Strong Negation and Equivalence in the Safe Belief Semantics
517 -- 554Thomas Bolander, Patrick Blackburn. Termination for Hybrid Tableaus
555 -- 585Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh. Epistemic Actions as Resources
587 -- 604Emil Jerábek. On Independence of Variants of the Weak Pigeonhole Principle
605 -- 0. An Institution-independent Generalization of Tarski s Elementary Chain Theorem
607 -- 0. Logics with Common Weak Completions

Volume 17, Issue 2

221 -- 254Altaf Hussain. A New Modal Approach to the Logic of Intervals
255 -- 283Robin Hirsch. Peirce Algebras and Boolean Modules
285 -- 298Benedikt Löwe, Brian Semmes. The Extent of Constructive Game Labellings
299 -- 310Wojciech Zielonka. On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
311 -- 331Enrico Marchioni, Franco Montagna. Complexity and Definability Issues in L Pi 1/2
333 -- 409Ben C. Moszkowski. Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals

Volume 17, Issue 1

5 -- 0Heinrich Wansing. Introduction and Call for Papers
7 -- 30Sebastian Bauer. Axiomatizing the Monodic Fragment of QCTL
31 -- 51Víctor Dalmau, Andrei A. Krokhin, Benoit Larose. First-order Definable Retraction Problems for Posets and Reflexive Graphs
53 -- 82Marcelo Finger, Renata Wassermann. Anytime Approximations of Classical Logic from Above
83 -- 116Thomas Ågotnes, Natasha Alechina. The Dynamics of Syntactic Knowledge
117 -- 132Mark Reynolds. A Tableau for Bundled CTL
133 -- 155Ian Pratt-Hartmann. Complexity of the Guarded Two-variable Fragment with Counting Quantifiers
157 -- 197Francesco Ranzato, Francesco Tapparo. Generalized Strong Preservation by Abstract Interpretation
199 -- 217Wojciech Buszkowski. On Action Logic: Equational Theories of Action Algebras