Home  Online Resources

Cover

Journal of Logic and Computation

Table of Contents

Volume 11, Issue 5: October 2001.


Editorial.
Bringing them all Together

Carlos Areces, and Patrick Blackburn.
pp. 657-669.
Details   Full-Text PDF (136 KB)

Original Article.
Internalization: The Case of Hybrid Logics

Jeremy Seligman.
pp. 671-689.
Abstract   Full-Text PDF (203 KB)

Original Article.
Relation Algebra with Binders

Maarten Marx.
pp. 691-700.
Abstract   Full-Text PDF (138 KB)

Original Article.
Modal Logic with Bounded Quantification over Worlds

Rogier M. Van Eijk, Frank S. De Boer, Wiebe Van Der Hoek, and John-Jules Ch. Meyer.
pp. 701-715.
Abstract   Full-Text PDF (188 KB)

Original Article.
Resolution in Modal, Description and Hybrid Logic

Carlos Areces, Maarten de Rijke, and Hans de Nivelle.
pp. 717-736.
Abstract   Full-Text PDF (253 KB)

Original Article.
Sahlqvist Formulas in Hybrid Polyadic Modal Logics

Valentin Goranko, and Dimiter Vakarelov.
pp. 737-754.
Abstract   Full-Text PDF (193 KB)

Forthcoming Papers.
Forthcoming Papers

pp. 755-756.
Full-Text PDF (31 KB)

Announcement.
Special Issue on Computational Dialectics

Gerhard Brewka Leipzig, and Gerard Vreeswijk Utrecht.
p. 757.
Details   Full-Text PDF (8 KB)

Top of the Page


[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2001.