default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 10
Volume 10, Number 1, February 2000
- Peter G. Harrison
, B. Strulo:
SPADES - a process algebra for discrete event simulation. 3-42 - Martin C. Henson, Steve Reeves:
Investigating Z. 43-73 - Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
Object calculi in linear logic. 75-104 - Klaus U. Schulz:
Tractable and intractable instances of combination problems for unification and disunification. 105-135 - Patrick Blackburn:
Internalizing labelled deduction. 137-168
Volume 10, Number 2, April 2000
- Eike Ritter, David J. Pym, Lincoln A. Wallen:
Proof-terms for classical and intuitionistic resolution. 173-207 - John T. Baldwin:
Stability, the finite cover property and 0-1 laws. 209-212 - Stefano Aguzzoli, Agata Ciabattoni, Antonio Di Nola:
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions. 213-222 - Frank Wolter:
The product of converse PDL and polymodal K. 223-251 - Kaile Su, Huowang Chen, Decheng Ding:
Two alternative notions of 'possibility' satisfying Halpern's conditions. 253-269 - Rana Barua, Suman Roy, Chaochen Zhou:
Completeness of neighbourhood logic. 271-295 - Babatunde Opeoluwa Akinkunmi:
On the expressive limits of reified theories. 297-313
Volume 10, Number 3, June 2000
- Fairouz Kamareddine, Jan Willem Klop:
Editorial. 321-322 - John R. W. Glauert, Richard Kennaway, Zurab Khasidashvili:
Stable results and relative normalization. 323-348 - Fairouz Kamareddine, Alejandro Ríos:
Relating the λσ- and λs-styles of explicit substitutions. 349-380 - Zurab Khasidashvili, Adolfo Piperno:
A syntactical analysis of normalization. 381-410 - A. J. Kfoury:
A linearization of the Lambda-calculus and consequences. 411-436 - Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer:
A geometric proof of confluence by decreasing diagrams. 437-460 - Paul-André Melliès:
Axiomatic rewriting theory II: the λσ-calculus enjoys finite normalisation cones. 461-487
Volume 10, Number 4, August 2000
- Giuseppe Longo, Kathleen Milsted, Sergei Soloviev:
Coherence and transitivity of subtyping as entailment. 493-526 - Erika F. de Lima, Christoph Lingenfelder:
Presentation of proofs in modal natural deduction. 527-572 - Karl Schlechta:
Unrestricted preferential structures. 573-581 - Love Ekenberg:
The logic of conflicts between decision making agents. 583-602 - Pavlos Peppas, Norman Y. Foo, Abhaya C. Nayak:
Measuring similarity in belief revision. 603-619
Volume 10, Number 5, October 2000
- Laura Giordano, Alberto Martelli, Camilla Schwind:
Ramification and causality in a modal action logic. 625-662 - John Derrick:
A single complete refinement rule for Z. 663-675 - Anthony Hunter:
Reasoning with contradictory information using quasi-classical logic. 677-703 - Joeri Engelfriet:
Non-cumulative reasoning: rules and models. 705-719 - Fairouz Kamareddine:
Postponement, conservation and preservation of strong normalization for generalized reduction. 721-738
Volume 10, Number 6, December 2000
- Jonas Barklund, Pierangelo Dell'Acqua, Stefania Costantini, Gaetano Aurelio Lanzarone:
Reflection principles in computational logic. 743-786 - Luca Spalazzi, Paolo Traverso:
A dynamic logic for acting, sensing, and planning. 787-821 - Radim Belohlávek:
Similarity relations in concept lattices. 823-845 - Marcelo Finger:
A logical reconstruction of temporal databases. 847-876 - Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro:
A mixed decision method for duration calculus. 877-895
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 2025-12-14 23:10 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:
