Journal of Logic and Computation, Volume 17

Volume 17, Number 1, February 2007

Non-classical Logics Corner

Heinrich Wansing:
Introduction and Call for Papers. 5
Electronic Edition (link) BibTeX
Sebastian Bauer:
Axiomatizing the Monodic Fragment of QCTL. 7-30
Electronic Edition (link) BibTeX

Original Articles

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

Volume 17, Number 2, April 2007

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

Volume 17, Number 3, June 2007

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

Erratum

An Institution-independent Generalization of Tarski's Elementary Chain Theorem. 605
Electronic Edition (link) BibTeX

Corrigendum

Logics with Common Weak Completions. 607
Electronic Edition (link) BibTeX

Volume 17, Number 4, August 2007

Editorial

Ian Horrocks:
Logic for Ontology Engineering Corner. 615
Electronic Edition (link) BibTeX

Original Articles

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

Volume 17, Number 5, October 2007

Special Issue: Logical Formalization of Commonsense Reasoning

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

Volume 17, Number 6, December 2007

Special Issue: Logical Approaches to Computational Barriers: CiE 2006

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