Volume 96,
Numbers 1-3,
1 March 1999
- Horacio L. Arló-Costa:
Belief Revision Conditionals: Basic Iterated Systems.
3-28
- Johan van Benthem:
Modality, Bisimulation and Interpolation in Infinitary Logic.
29-41
- Samuel R. Buss:
Bounded Arithmetic, Proof Complexity and Two Papers of Parikh.
43-55
- Alessandra Carbone:
Turning Cycles into Spirals.
57-73
- Arthur W. Collins:
Behaviorism and Belief.
75-88
- Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi:
Common Knowledge Revisited.
89-105
- Melvin Fitting:
A Simple Propositional S5 Tableau System.
107-115
- Haim Gaifman:
Self-Reference and the Acyclicity of Rational Choice.
117-140
- Konstantinos Georgatos:
To Preference via Entrenchment.
141-155
- Petr Hájek:
Ten Questions and One Problem on Fuzzy Logic.
157-165
- David Harel, Eli Singerman:
Computation Paths Logic: An Expressive, yet Elementary, Process Logic.
167-186
- Jesper G. Henriksen, P. S. Thiagarajan:
Dynamic Linear Time Temporal Logic.
187-207
- Daniel Leivant:
Ramified Recurrence and Computational Complexity III: Higher Type Recurrence and Elementary Complexity.
209-229
- V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel:
Logic Programs, Well-Orderings, and Forward Chaining.
231-276
- Lawrence S. Moss:
Coalgebraic Logic.
277-317
- Vaughan R. Pratt:
Chu Spaces from the Representational Viewpoint.
319-333
- Pavel Pudlák:
A Note on Applicability of the Incompleteness Theorem to Human Mind.
335-342
- Ramaswamy Ramanujam:
View-Based Explicit Knowledge.
343-368
Copyright © Mon Nov 2 21:24:59 2009
by Michael Ley (ley@uni-trier.de)
