default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 66
Volume 66, Number 1, October 2000
- François Lepage, Elias Thijsse, Heinrich Wansing
:
Introduction. 1-4 - J. Michael Dunn:
Partiality and Its Dual. 5-40 - Jan van Eijck:
Making Things Happen. 41-58 - William M. Farmer, Joshua D. Guttman:
A Set Theory with Support for Partial Functions. 59-78 - Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer:
On Agents That Have the Ability to Choose. 79-119 - René Lavendhomme, Thierry Lucas:
Sequent Calculi and Decision Procedures for Weak Modal Systems. 121-145 - François Lepage:
Partial Monotonic Protothetics. 147-163 - Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl:
Ability and Knowing How in the Situation Calculus. 165-186 - Peter K. Schotch:
Skepticism and Epistemic Logic. 187-198
Volume 66, Number 2, November 2000
- Alexander S. Karpenko:
V. A. Smirnov (1931-1996): Work and Life. 201-204 - 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 - Publications of Vladimir Alexandrovich Smirnov. Stud Logica 66(2): 215-225 (2000)
- V. A. Smirnov's Results in the Field of Modern Formal Logic. 227-252
- Alexander S. Karpenko:
The Classification of Propositional Calculi. 253-271 - Natasha Alechina:
Functional Dependencies between Variables. 273-283 - Katalin Bimbó:
Investigation into Combinatory Systems with Dual Combinators. 285-296 - Vera Stebletsova:
Weakly Associative Relation Algebras with Polyadic Composition Operations. 297-323
Volume 66, Number 3, December 2000
- Diderik Batens, Joke Meheus:
The Adaptive Logic of Compatibility. 327-348 - Stéphane Demri, Dov M. Gabbay:
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. 349-384 - Luca Viganò:
An O(n log n)-Space Decision Procedure for the Relevance Logic B+. 385-407 - José M. Méndez, Francisco Salto:
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'. 409-418
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 19:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
