Studia Logica, Volume 66

Volume 66, Number 1, October 2000

François Lepage, Elias Thijsse, Heinrich Wansing: Introduction. 1-4 BibTeX
J. Michael Dunn: Partiality and Its Dual. 5-40 BibTeX
Jan van Eijck: Making Things Happen. 41-58 BibTeX
William M. Farmer, Joshua D. Guttman: A Set Theory with Support for Partial Functions. 59-78 BibTeX
Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer: On Agents That Have the Ability to Choose. 79-119 BibTeX
René Lavendhomme, Thierry Lucas: Sequent Calculi and Decision Procedures for Weak Modal Systems. 121-145 BibTeX
François Lepage: Partial Monotonic Protothetics. 147-163 BibTeX
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl: Ability and Knowing How in the Situation Calculus. 165-186 BibTeX
Peter K. Schotch: Skepticism and Epistemic Logic. 187-198 BibTeX

Alexander S. Karpenko: V. A. Smirnov (1931-1996): Work and Life. 201-204 BibTeX
V. K. Finn: Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia. 205-213 BibTeX
Publications of Vladimir Alexandrovich Smirnov. 215-225 BibTeX
V. A. Smirnov's Results in the Field of Modern Formal Logic. 227-252 BibTeX
Alexander S. Karpenko: The Classification of Propositional Calculi. 253-271 BibTeX
Natasha Alechina: Functional Dependencies between Variables. 273-283 BibTeX
Katalin Bimbó: Investigation into Combinatory Systems with Dual Combinators. 285-296 BibTeX
Vera Stebletsova: Weakly Associative Relation Algebras with Polyadic Composition Operations. 297-323 BibTeX

Diderik Batens, Joke Meheus: The Adaptive Logic of Compatibility. 327-348 BibTeX
Stéphane Demri, Dov M. Gabbay: On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. 349-384 BibTeX
Luca Viganò: An O(n log n)-Space Decision Procedure for the Relevance Logic B+. 385-407 BibTeX
José M. Méndez, Francisco Salto: Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'. 409-418 BibTeX